Uses of Class
org.algernon.datatype.Clause

Packages that use Clause

org.algernon
org.algernon.aam
org.algernon.aam.compile
org.algernon.datatype
org.algernon.kb
org.algernon.kb.okbc.protege
org.algernon.rule

Uses of Clause in org.algernon

Methods in org.algernon with parameters of type Clause

static LispValue	Algernon.getFrame(Clause value) Returns the frame of the clause.
static LispValue	Algernon.getRelation(Clause value) Returns the relation of the clause.
static LispValue	Algernon.getArguments(Clause value) Returns the relation of the clause.
boolean	Algernon.isInstance(Clause clause, Clause pattern) Determines whether clause is an instance of pattern, returning true or false.
boolean	Algernon.isInstance(Clause clause, Clause pattern, BindingList clauseBindings, BindingList patternBindings) Determines whether clause is an instance of pattern, returning true or false.
static boolean	Algernon.isGroundClause(Clause clause) Returns true if the given clause is ground (contains no variables).
AlgernonKB	Algernon.createKB(Clause clause) Called by the USE-KB opcode to create a new KB.

Uses of Clause in org.algernon.aam

Methods in org.algernon.aam with parameters of type Clause

boolean	QueryHistory.contains(Clause clause) Returns true if the QueryHistory contains the query or a generalization of it.
void	QueryHistory.clearQuery(Clause clause) Clears the query from the history.
void	Processor.activateClosures(Clause clause, AlgernonKBSet kbSet, int direction) Activates rule closures from assertions or queries.
Closure	Processor.tryToInstantiate(Closure closure, Clause clause) Returns a closure if the rule can be instantiated from the clause.
boolean	Processor.isHistoricalQuery(Clause clause) Returns true if the clause or a generalization of it has been made before.
void	Processor.clearHistoricalQuery(Clause clause) Clears one query from the history.

Uses of Clause in org.algernon.aam.compile

Methods in org.algernon.aam.compile that return Clause

Clause

AlgernonCompiler.preprocessClause(Clause clause) Preprocesses a clause.

Methods in org.algernon.aam.compile with parameters of type Clause

boolean	AlgernonCompiler.isContinuable(Clause clause) Returns true if continuations should be created for the given operation.
protected LispValue	AlgernonCompiler.compileClause(Clause clause, AlgernonKBSet kbSet, int index, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) compiles one clause
protected LispValue	AlgernonCompiler.compileSpecial(Clause clause, AlgernonKBSet kbSet, int index, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) compileSpecial - general-purpose routine for special MACROS whose details are handled by the opcode.
protected LispValue	AlgernonCompiler.compileSpecialWithFailAndMerge(Clause clause, AlgernonKBSet kbSet, int index, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) compileSpecialWithFailAndMerge - general-purpose routine for special MACROS that need to check for failure afterward.
protected LispValue	AlgernonCompiler.compileSpecialWithFail(Clause clause, AlgernonKBSet kbSet, int index, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) compileSpecialWithFail - general-purpose routine for special MACROS that need to check for failure afterward.
protected LispValue	AlgernonCompiler.compileSpecialWithMerge(Clause clause, AlgernonKBSet kbSet, int index, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) compileSpecialWithMerge - general-purpose routine for special MACROS that need to do a merge-bindings afterward.
protected LispValue	AlgernonCompiler.compileAssert(Clause clause, AlgernonKBSet kbSet, int index, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) compile-assert
protected LispValue	AlgernonCompiler.compileQuery(Clause clause, AlgernonKBSet kbSet, int index, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) compileQuery
protected LispValue	AlgernonCompiler.compileVerify(Clause clause, AlgernonKBSet kbSet, int index, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) compileVerify
protected LispValue	AlgernonCompiler.compileMacro(Clause clause, AlgernonKBSet kbSet, int index, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpAllPaths(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpAny(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpAsk(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpAddClass(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) create a new frame and assert the path for that variable.
protected LispValue	AlgernonCompiler.compileOpCount(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) This compiles the :COUNT macro.
protected LispValue	AlgernonCompiler.compileOpDelete(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpFail(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) This compiles the :FAIL and :UNP macros (which are synonyms of each other).
protected LispValue	AlgernonCompiler.compileOpFire(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpFor(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) This compiles the :FOR macro.
protected LispValue	AlgernonCompiler.compileOpLimit(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors) This compiles the :LIMIT macro.
protected LispValue	AlgernonCompiler.compileOpPrint(Clause clause, AlgernonKBSet kbSet, int index, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors, boolean newline) compileOpPrint - compiles the PRINT and PRINTLN macros.
protected LispValue	AlgernonCompiler.compileOpForcClass(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpForcInstance(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpAddInstance(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpOr(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpTheClass(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
protected LispValue	AlgernonCompiler.compileOpTheInstance(Clause clause, AlgernonKBSet kbSet, int compileMode, BindingList bindings, Map argumentTypes, Rule rule, AlgernonCompilerState compileState, LispValue code, ErrorSet compileErrors)
Clause	AlgernonCompiler.preprocessClause(Clause clause) Preprocesses a clause.
protected void	AlgernonCompiler.validateArgumentTypes(Clause clause, AlgernonKBSet kbSet, Map argumentTypes, AlgernonCompilerState compileState, ErrorSet compileErrors) validates that arguments are of the correct type.
protected void	AlgernonCompiler.validateSpecialFormArgumentTypes(Clause form, AlgernonKBSet kbSet, Map argumentTypes, AlgernonCompilerState compileState, ErrorSet compileErrors) Validates argument types for macros like :THE, :A and :FORC, which have different forms of arguments.
protected void	AlgernonCompiler.validateMacroArgumentTypes(Clause form, AlgernonKBSet kbSet, Map argumentTypes, AlgernonCompilerState compileState, ErrorSet compileErrors) Validates argument types for macros like :INSTANCE, :CLASS, and so on.
protected boolean	AlgernonCompiler.typeEQ(AlgernonKBSet kbSet, LispValue argument, Set type, Map argumentTypes, Clause form, AlgernonCompilerState compileState, ErrorSet compileErrors) Checks for equality and stores the type, if not previously known.
protected boolean	AlgernonCompiler.constantTypeEQ(AlgernonKBSet kbSet, LispValue argument, Set type, Clause form, AlgernonCompilerState compileState, ErrorSet compileErrors)
protected void	AlgernonCompiler.implicitTypeRestrict(AlgernonKBSet kbSet, Clause clause, Map argumentTypes, AlgernonCompilerState compileState, ErrorSet compileErrors) Added 29 Sep 1999 (mh) Added type restriction - if the path contains an ISA or MEMBER clause, this information is used to restrict the type to a new type, eliminating some unnecessary warning messages The clause should NOT be negated.
String	AlgernonCompiler.undefinedRelationError(Clause clause, LispValue slot)
String	AlgernonCompiler.relationLengthMismatchError(int type, Clause clause, LispValue slot)
String	AlgernonCompiler.undeterminedDomainWarning(Clause clause, LispValue argument, Set type)
String	AlgernonCompiler.domainMismatchWarning(Clause clause, LispValue argument, Set variableType, Set desiredType) Returns an error about type mismatch on variables.
String	AlgernonCompiler.unrecognizedOperatorError(Clause clause, LispValue slot) Returns an error string about an unrecognized command used in an Algernon clause.
String	AlgernonCompiler.pathRestrictionWarning(Clause clause, Rule rule) Returns a warning about path restriction.
protected Collection	AlgernonCompiler.generateVariableSets(Clause clause) When a backward chaining rule is activated, some number of variables in the key will be bound.

Uses of Clause in org.algernon.datatype

Methods in org.algernon.datatype that return Clause

Clause	Path.firstClause() Returns the first clause in the path.
Clause	Path.pop(Clause clause) Pops a clause from the front of the path.
Clause	Clause.copyClause() Returns a new clause that is a copy of this one.
Clause	Clause.negateClause() Returns a negated form of the clause.

Methods in org.algernon.datatype with parameters of type Clause

void	Path.addClause(Clause clause) Adds a clause to the end of the path.
void	Path.push(Clause clause) Pushes a clause onto the front of the path.
Clause	Path.pop(Clause clause) Pops a clause from the front of the path.
void	Activation.setClause(Clause newClause) Sets the value of Clause.

Uses of Clause in org.algernon.kb

Methods in org.algernon.kb with parameters of type Clause

LispValue	AlgernonKBSet.query(Clause clause) Queries KBs until one of the queries is successful.
LispValue	AlgernonKBSet.verify(Clause clause) Verifies against all of the KBs in the KBSet.
LispValue	AlgernonKBSet.store(Clause clause) Stores the clause in the first KB that accepts it.
boolean	AlgernonKBSet.containsClause(Clause queryClause) Returns true if the KBSet contains the given clause.
boolean	AlgernonKBSet.containsClause(Clause queryClause, int state) Returns true if the KBSet contains the given clause.
LispValue	AlgernonKB.query(Clause clkause) Returns all of the values that match the given clause.
LispValue	AlgernonKB.query(Clause clause, AlgernonFacet facet) See the simpler form with one argument.
LispValue	AlgernonKB.verify(Clause clause) Verifies that the clause is in the KB.
LispValue	AlgernonKB.store(Clause clause) stores the given clause into the storage.
LispValue	AlgernonKB.store(Clause clause, AlgernonFacet facet) stores the given clause into the storage.
void	AlgernonKB.deleteClauses(Clause clause) Deletes one or more clauses from the storage.
void	AlgernonKB.deleteClauses(Clause clause, AlgernonFacet facet) Deletes one or more clauses from the storage.
boolean	AlgernonKB.containsClause(Clause queryClause, int state) State is

Uses of Clause in org.algernon.kb.okbc.protege

Methods in org.algernon.kb.okbc.protege with parameters of type Clause

LispValue	AlgernonProtegeKB.query(Clause clause) Returns all of the values that match the given clause.
LispValue	AlgernonProtegeKB.query(Clause clause, AlgernonFacet facet) See the simpler form getValues.
LispValue	AlgernonProtegeKB.verify(Clause clause) Verifies that the clause is in the KB.
LispValue	AlgernonProtegeKB.store(Clause clause) Asserts the given clause into the storage.
LispValue	AlgernonProtegeKB.store(Clause clause, AlgernonFacet facet) Asserts the given clause into the storage.
void	AlgernonProtegeKB.deleteClauses(Clause clause) Deletes one or more clauses from the storage.
void	AlgernonProtegeKB.deleteClauses(Clause clause, AlgernonFacet facet) Deletes one or more clauses from the storage.
boolean	AlgernonProtegeKB.containsClause(Clause clause, int state) State is Algernon.NEGATED or something else.

Uses of Clause in org.algernon.rule

Fields in org.algernon.rule declared as Clause

protected Clause

Rule.m_key

Methods in org.algernon.rule that return Clause

Clause

Rule.getKey()

Methods in org.algernon.rule with parameters of type Clause

void	Rule.setKey(Clause key)

Constructors in org.algernon.rule with parameters of type Clause

Rule(Algernon algy, String name, Path antecedent, int direction, Path consequent, Clause key, int type, Rule root)
Create a new Algernon Rule