|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |