Package lij.model

Classes that together constitute the data model of an LCC protocl.

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  
 

Package lij.model Description

Classes that together constitute the data model of an LCC protocl.