Package FAtiMA.Core.wellFormedNames

package FAtiMA.Core.wellFormedNames
  • Class
    Description
    ComposedName
     
    IGroundable
     
    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