|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
Argument | Objects implementing the Argument interface can be used in Arguments. |
Constraint | This interface denotes objects that implement constraints. |
TreeNodeToken | This interface defines entities that can be used as a clause tree token, i.e. |
Class Summary | |
---|---|
ArgumentValue | An implementation of an Argument (for use in Terms), for representing a constant value. |
ArgumentVariable | An implementation of an Argument (for use in Terms), for storing a variable in a SymbolTable. |
Clause | This class provides the definition of an LCC clause as specified in an IM. |
ConstraintAssignment | This implementation of a Constraint is used to assign a value to a variable. |
ConstraintComparison | This implementation of a Constraint is used to perform a comparison between two arguments (values (including lists) or variables). |
ConstraintList | This implementation of a Constraint is used to extract the head from a list into another variable. |
ConstraintMethod | This implementation of a Constraint is used to call a constraint method. |
Def | A Def instance can be a DefAgent (role switch), DefMessage, or DefNullOp - and an associated constraint list. |
DefAgent | An LCC role switch Def. |
DefMessage | An LCC message Def. |
DefNullOp | An LCC null operator Def. |
Framework | This class contains the IM's Role and Clause definitions. |
Operator | A structure operator to be used in the clause tree. |
Operator.CloseParen | Operator subclass. |
Operator.OpenParen | Operator subclass. |
Operator.Or | Operator subclass. |
Operator.Then | Operator subclass. |
Role | This class provides the definition of a role as specified in an IM. |
Term | A Term is a definition of the form a(x, y, z, ...) a is the name of the term, and x, y, z, ... |
TreeNode | This class is used to construct clause trees. |
Enum Summary | |
---|---|
ConstraintComparison.Type |
Classes that together constitute the data model of an LCC protocl.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |