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 symbol
SubstitutionSet
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