Uses of Package
lij.model

Packages that use lij.model
lij.model Classes that together constitute the data model of an LCC protocl. 
lij.parser The classes in this package constitute the parser of the interpreter, and were generated by javacc. 
lij.parserutil Utility classes for use by the javacc-generated parser. 
lij.runtime These runtime classes are the ones that contain most of the code that is used during the execution of the IM by the interpreter. 
 

Classes in lij.model used by lij.model
Argument
          Objects implementing the Argument interface can be used in Arguments.
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.
Constraint
          This interface denotes objects that implement constraints.
ConstraintComparison.Type
           
Def
          A Def instance can be a DefAgent (role switch), DefMessage, or DefNullOp - and an associated constraint list.
DefAgent
          An LCC role switch Def.
Operator
          A structure operator to be used in the clause tree.
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.
TreeNodeToken
          This interface defines entities that can be used as a clause tree token, i.e.
 

Classes in lij.model used by lij.parser
Argument
          Objects implementing the Argument interface can be used in Arguments.
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.
Constraint
          This interface denotes objects that implement constraints.
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.
Term
          A Term is a definition of the form a(x, y, z, ...) a is the name of the term, and x, y, z, ...
 

Classes in lij.model used by lij.parserutil
Operator
          A structure operator to be used in the clause tree.
TreeNode
          This class is used to construct clause trees.
TreeNodeToken
          This interface defines entities that can be used as a clause tree token, i.e.
 

Classes in lij.model used by lij.runtime
Argument
          Objects implementing the Argument interface can be used in Arguments.
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.
Constraint
          This interface denotes objects that implement constraints.
ConstraintComparison.Type
           
Def
          A Def instance can be a DefAgent (role switch), DefMessage, or DefNullOp - and an associated constraint list.
Framework
          This class contains the IM's Role and Clause definitions.
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.