Package FAtiMA.Core.wellFormedNames
-
Interface Summary Interface Description IGroundable -
Class Summary Class Description ComposedName Inequality Represents the condition that a variable cannot have a specified value.Name Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.Substitution Represents a substitution of a variable for another variable or constant symbolSubstitutionSet Symbol Well Formed Name with just one literal The alphabet that makes up the symbols expressions consists of: � The set of letters, upper and lowercase.Unifier Static Class that implements the Unifying algorithm