Uses of Package
FAtiMA.Core.wellFormedNames

Packages that use FAtiMA.Core.wellFormedNames
  • Class
    Description
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
    Well Formed Name with just one literal The alphabet that makes up the symbols expressions consists of: � The set of letters, upper and lowercase.
  • Class
    Description
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
  • Class
    Description
     
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
    Represents a substitution of a variable for another variable or constant 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.
  • Class
    Description
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
  • Class
    Description
     
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
    Represents a substitution of a variable for another variable or constant 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.
  • Class
    Description
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
    Represents a substitution of a variable for another variable or constant symbol
  • Class
    Description
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
     
  • Class
    Description
     
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
    Represents a substitution of a variable for another variable or constant 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.
  • Class
    Description
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
    Represents a substitution of a variable for another variable or constant symbol
  • Class
    Description
    Well Formed Name with just one literal The alphabet that makes up the symbols expressions consists of: � The set of letters, upper and lowercase.
  • Class
    Description
     
    Abstract Well Formed Name A well formed name is used to specify goal/action names, objects, properties, constants, and relations.
    Represents a substitution of a variable for another variable or constant 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.