Uses of Class
lij.model.Clause

Packages that use Clause
lij.model Classes that together constitute the data model of an LCC protocl. 
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. 
 

Uses of Clause in lij.model
 

Fields in lij.model with type parameters of type Clause
private  java.util.HashMap<Term,Clause> Framework.clauses
           
 

Methods in lij.model that return types with arguments of type Clause
 java.util.HashMap<Term,Clause> Framework.getClauses()
          Accessor.
 

Methods in lij.model with parameters of type Clause
 void Framework.addClause(Clause newClause)
          Adds a new Clause into the Framework's map of Clause definitions.
 

Uses of Clause in lij.runtime
 

Fields in lij.runtime declared as Clause
private  Clause ClauseInstance.clause
           
 

Constructors in lij.runtime with parameters of type Clause
ClauseInstance(java.io.Serializable _id, Clause _clause, Interpreter _interpreter)
          Constructor.