|
Algernon Software | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use AlgernonKBSet | |
| org.algernon | |
| org.algernon.aam | |
| org.algernon.aam.compile | |
| org.algernon.aam.opcode | |
| org.algernon.datatype | |
| org.algernon.rule | |
| org.algernon.test | |
| Uses of AlgernonKBSet in org.algernon |
| Methods in org.algernon that return AlgernonKBSet | |
AlgernonKBSet |
Algernon.getKBSet()
Returns the set of KBs with the default AlgernonKBSet name. |
AlgernonKBSet |
Algernon.getKBSet(String name)
Returns the set of KBs with the given name. |
| Methods in org.algernon with parameters of type AlgernonKBSet | |
LispValue |
Algernon.ask(String path,
AlgernonKBSet kbSet)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(String path,
AlgernonKBSet kbSet,
String comment)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(String path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(String pathString,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
BindingList blist,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(Path path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
BindingList blist,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(String path,
AlgernonKBSet kbSet)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(String path,
AlgernonKBSet kbSet,
String comment)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(String path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(String pathString,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(Path path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
void |
Algernon.addKBSet(AlgernonKBSet kbset)
Adds a new AlgernonKBSet to this instantiation of Algernon. |
LispValue |
Algernon.compile(Path path,
AlgernonKBSet kbSet,
int compileMode,
ErrorSet errorSet)
Compiles a path (which may be a rule declaration, a query, an assert or part of a rule) and returns the AAM opcodes for the path. |
LispValue |
Algernon.compile(String path,
AlgernonKBSet kbSet,
int compileMode,
ErrorSet errorSet)
Compiles a path (which may be a rule declaration, a query, an assert or part of a rule) and returns the AAM opcodes for the path. |
Collection |
Algernon.compileRule(Rule rule,
AlgernonKBSet kbSet)
Compiles the given rule and returns the compiled code. |
void |
Algernon.createRule(Rule rule,
AlgernonKBSet kbSet,
AlgernonFrame frame)
Send in a rule instance. |
LispValue |
Algernon.process(LispValue code,
AlgernonKBSet kbset,
ErrorSet errors)
Executes a set of AAM opcodes. |
void |
Algernon.removeKB(AlgernonKB kb,
AlgernonKBSet kbset)
Removes a KB from the given KB Set. |
void |
Algernon.kbSetRenamed(AlgernonKBSet kbset,
String oldname,
String newname)
Call this when a AlgernonKBSet is renamed. |
boolean |
Algernon.isFrame(String frameName,
AlgernonKBSet kbset)
Returns true if the given string is the name of a frame in any KB in the given AlgernonKBSet. |
boolean |
Algernon.isNameRelation(String relationName,
AlgernonKBSet kbset)
Returns true if the given string is the name of the relation/slot linking a frame to its name in any KB in the given AlgernonKBSet. |
boolean |
Algernon.isInstanceToClassRelation(String relationName,
AlgernonKBSet kbset)
Returns true if the given string is the name of the relation/slot linking an instance to its class in any KB of the given AlgernonKBSet. |
boolean |
Algernon.isClassToInstanceRelation(String relationName,
AlgernonKBSet kbset)
Returns true if the given string is the name of the relation/slot linking an instance to its class in any KB of the given AlgernonKBSet. |
boolean |
Algernon.isDisjointRelation(String relationName,
AlgernonKBSet kbset)
Returns true if the given string is the name of a relation specifying that two classes are disjoint in any KB of the given AlgernonKBSet. |
boolean |
Algernon.isSubclassToSuperclassRelation(String relationName,
AlgernonKBSet kbset)
Returns true if the given string is the name of the relation/slot linking a frame to its name in any KB in the given AlgernonKBSet. |
boolean |
Algernon.isRelation(String relationName,
AlgernonKBSet kbset)
Returns true if the given string is the name of a frame in any KB in the given AlgernonKBSet. |
boolean |
Algernon.generalIsa(String child,
String parent,
AlgernonKBSet kbset)
Returns true if the first argument is an instance or subclass of the second argument. |
boolean |
Algernon.generalNotIsa(String child,
String parent,
AlgernonKBSet kbset)
Returns true if the first argument is not an instance or subclass of the second argument. |
AlgernonClass |
Algernon.lookupClass(String name,
AlgernonKBSet kbset)
Returns a class with the given name if it can find one in any of the KBs in the given KBSet. |
AlgernonFrame |
Algernon.lookupFrame(String name,
AlgernonKBSet kbset)
Returns a class with the given name if it can find one in any of the KBs in the given KBSet. |
AlgernonRelation |
Algernon.lookupRelation(String name,
AlgernonKBSet kbset)
Returns a relation with the given name if it can find one in any of the KBs in the given KBSet. |
| Constructors in org.algernon with parameters of type AlgernonKBSet | |
Algernon(AlgernonKBSet kbs)
Create a new instance of Algernon. |
|
| Uses of AlgernonKBSet in org.algernon.aam |
| Methods in org.algernon.aam with parameters of type AlgernonKBSet | |
LispValue |
Processor.process(LispValue code,
AlgernonKBSet kbSet,
BindingSet bindings,
Rule rule,
Process parent,
ErrorSet errors)
Process the given code. |
void |
Processor.activateClosures(Clause clause,
AlgernonKBSet kbSet,
int direction)
Activates rule closures from assertions or queries. |
Collection |
Processor.compileRule(Rule rule,
AlgernonKBSet kbSet)
Compiles the given rule and returns it. |
void |
Processor.createRule(Rule rule,
AlgernonKBSet kbSet,
AlgernonFrame frame)
Creates a new rule - adds it to the RuleManager, compiles it, creates continuations and compiles them. |
void |
Opcode.execute(Processor processor,
AlgernonKBSet kbSet)
Executes this opcode, using information in the given processor. |
AlgernonClass |
Opcode.argumentToClass(AlgernonKBSet kbSet,
LispValue classVal)
Utility method to convert an argument to an AlgernonClass. |
AlgernonInstance |
Opcode.argumentToInstance(AlgernonKBSet kb,
LispValue instanceVal)
Utility method to convert an argument to an AlgernonInstance. |
AlgernonFacet |
Opcode.argumentToFacet(AlgernonKBSet kb,
LispValue facetVal)
Utility method to convert an argument to an AlgernonFacet. |
AlgernonRelation |
Opcode.argumentToRelation(AlgernonKBSet kb,
LispValue relationVal)
Utility method to convert an argument to an AlgernonClass. |
AlgernonFrame |
Opcode.argumentToFrame(AlgernonKBSet kb,
LispValue frameVal)
Utility method to convert an argument to an AlgernonFrame. |
| Uses of AlgernonKBSet in org.algernon.aam.compile |
| Methods in org.algernon.aam.compile with parameters of type AlgernonKBSet | |
LispValue |
AlgernonCompiler.compile(Path path,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
Returns a list of AAM machine code to be executed. |
protected LispValue |
AlgernonCompiler.compilePath(Path path,
AlgernonKBSet kbSet,
int index,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
compilePath compiles an Algernon path into abstract machine code. |
protected LispValue |
AlgernonCompiler.compilePathNoReturn(Path path,
AlgernonKBSet kbSet,
int index,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
compilePathAux is an internal routine that compiles a path. |
protected LispValue |
AlgernonCompiler.compilePathAux(Path path,
AlgernonKBSet kbSet,
int index,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compilePathAux is an internal routine that compiles a path. |
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.compileSubroutine(LispValue variable,
Path path,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
compiles a subroutine. |
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)
|
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. |
boolean |
AlgernonCompiler.typesIntersect(AlgernonKBSet kbSet,
Set types1,
Set types2)
Returns true if the two Sets of types intersect. |
boolean |
AlgernonCompiler.typeSubsumedBy(AlgernonKBSet kbSet,
LispValue singleType,
Set types)
Returns true if one frame type is a subclass or equal to any of a set of frame types. |
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. |
protected Path |
AlgernonCompiler.preprocessTaxonomy(AlgernonKBSet kbSet,
LispValue form)
preprocesses the :TAXONOMY form to turn it into a set of :THE-CLASS and :THE-INSTANCE commands. |
protected Path |
AlgernonCompiler.makeTaxonomyCommands(AlgernonKBSet kbSet,
LispValue pseudoTax,
BindingList bindings)
Converts pseudo-taxonomy commands into real taxonomy commands. |
Collection |
AlgernonCompiler.compileRule(Rule rule,
AlgernonKBSet kbSet,
BindingList bindings,
Map argTypes,
AlgernonCompilerState compileState,
int startIndex,
ErrorSet errors)
Compiles a rule. |
void |
AlgernonCompiler.initializeArgumentTypes(AlgernonKBSet kbSet,
Map typeList,
Path path,
AlgernonCompilerState compileState,
ErrorSet errors,
boolean clear)
The compiler type-checks each clause. |
LispValue |
AlgernonCompiler.generateRuleCode(Rule rule,
AlgernonKBSet kbSet,
int direction,
Path antecedent,
Path consequent,
int index,
Rule rootRule,
BindingList boundVariables,
Map argumentTypes,
ErrorSet errors)
Generates the actual code for the rule. |
| Uses of AlgernonKBSet in org.algernon.aam.opcode |
| Methods in org.algernon.aam.opcode with parameters of type AlgernonKBSet | |
void |
Verify.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the VERIFY opcode. |
void |
UseKB.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the UseKB opcode. |
void |
Trace.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Trace opcode. |
void |
TestUnique.execute(Processor processor,
AlgernonKBSet kbSet)
This opcode is like TestSucceed except that it only aborts the computation if there are multiple bindings for the given variable. |
void |
TestUnbound.execute(Processor processor,
AlgernonKBSet kbSet)
Checks the variable in the clause and sets result to NIL if it is bound, where it is checked by the :FAIL operator. |
void |
TestTrue.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the TEST opcode. |
void |
TestSucceed.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the TEST-SUCCEED opcode. |
void |
TestKnown.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the :KNOWN opcode. |
void |
TestFail.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the TEST-FAIL opcode. |
void |
TestBound.execute(Processor processor,
AlgernonKBSet kbSet)
Checks the variable in the clause and sets result to T if it is bound, where it is checked by the :FAIL operator. |
void |
TemplateRelation.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the TEMPLATE-RELATION opcode. |
void |
Superclass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Superclass opcode, which collects all direct and indirect subclasses of a class. |
void |
SubstituteBindings1.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the SUBSTITUTE1 opcode. |
void |
SubstituteBindings.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the SUBSTITUTE opcode. |
void |
Subroutine.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the SUBROUTINE opcode. |
void |
Subclass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Subclass opcode, which collects all direct and indirect subclasses of a class. |
void |
Stop.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the STOP opcode. |
void |
Skip.execute(Processor processor,
AlgernonKBSet kbSet,
LispValue label)
Pops the CODE register until reaching the label. |
void |
Skip.execute(Processor processor,
AlgernonKBSet kbSet)
Pops the CODE register until reaching the label. |
void |
ShowCode.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the SHOW-CODE opcode. |
void |
Show.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the SHOW opcode. |
void |
Select.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the SELECT opcode. |
void |
Save.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the SAVE opcode. |
void |
RootClass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the RootClass opcode, which collects all the root classes of a class. |
void |
Return.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the RETURN opcode, which ends a stream of Algernon processing. |
void |
Query.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the QUERY opcode. |
void |
Push.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the PUSH opcode. |
void |
Print.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the PRINT and PRINTLN macros. |
void |
Pop.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the TEST opcode. |
void |
Parent.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Parent opcode, which verifies that a pair of frames are parent and child. |
void |
NotEqual.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the NotEqual opcode. |
void |
Name.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the NAME opcode. |
void |
MergeBindings.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the :MERGE-BINDINGS opcode. |
void |
Limit.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Limit opcode. |
void |
LeastCommonSuperclass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the LeastCommonSuperclass opcode. |
void |
LeafClass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the LeafClass opcode, which collects all direct and indirect subclasses of a class that are leaves. |
void |
Label.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the TEST opcode. |
void |
IsRelation.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the IsRelation opcode. |
void |
IsInstance.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the IsInstance opcode. |
void |
IsFrame.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the IsFrame opcode. |
void |
IsFacet.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the IsFacet opcode. |
void |
IsClass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the IsClass opcode. |
void |
Instance.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the INSTANCE opcode. |
void |
For.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the For opcode. |
void |
Fire.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the FIRE opcode. |
void |
Eval.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the :EVAL opcode. |
void |
DirectSuperclass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DirectInstance opcode. |
void |
DirectSubclass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DirectInstance opcode. |
void |
DirectInstance.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DirectInstance opcode. |
void |
DirectClass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DirectClass opcode. |
void |
DeleteRelation.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DeleteRelation opcode. |
void |
DeleteInstance.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DeleteInstance opcode. |
void |
DeleteFrame.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DeleteFrame opcode. |
void |
DeleteFacet.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DeleteFacet opcode. |
void |
DeleteClause.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DeleteClause opcode. |
void |
DeleteClass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the DeleteClass opcode. |
void |
Date.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Date opcode. |
void |
CreateRules.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the :ADD-RULES macro. |
void |
CreateRelationRules.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the CreateRelationRules opcode. |
void |
CreateRelation.execute(Processor processor,
AlgernonKBSet kbSet)
Creates a new relation in the KB. |
void |
CreateInstance.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the CreateInstance opcode. |
void |
CreateFacet.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the CreateFacet opcode. |
void |
CreateClass.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the CREATE-CLASS opcode. |
void |
Count.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Count opcode. |
void |
Continuation.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the CONTINUATION opcode. |
void |
ConjunctiveClear.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the ConjunctiveClear opcode. |
void |
ConjunctiveBranch.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the ConjunctiveBranch opcode. |
void |
ClearRelation.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the ClearRelation opcode. |
void |
Clause.execute(Processor processor,
AlgernonKBSet kbSet)
Sets the CLAUSE register to the given value. |
void |
ClassOp.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the CLASS opcode. |
void |
Child.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Child opcode, which verifies that a pair of frames are parent and child. |
void |
BranchByUser.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the BranchByUser opcode. |
void |
Branch.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the BRANCH opcode. |
void |
Branch.execute(Processor processor,
AlgernonKBSet kbSet,
boolean saveRegisters)
Executes the BRANCH opcode. |
void |
Bind.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the BIND opcode. |
void |
Assume.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the TEST opcode. |
void |
Assert.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the ASSERT opcode, which stores a clause in the KB. |
void |
Ask.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the ASK opcode. |
void |
Any.execute(Processor processor,
AlgernonKBSet kbSet)
If there is more than one binding list in the topmost binding-set of the *BINDINGS* register, pick one at random and throw the rest away. |
void |
ActivateFCRules.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Activate FC opcode. |
void |
ActivateBCRules.execute(Processor processor,
AlgernonKBSet kbSet)
Executes the Activate BC opcode. |
| Uses of AlgernonKBSet in org.algernon.datatype |
| Constructors in org.algernon.datatype with parameters of type AlgernonKBSet | |
Activation(Algernon algy,
Processor processor,
BindingList bindings,
int direction,
AlgernonKBSet kbSet,
Rule rule,
int codeType,
LispValue conjunctionID,
LispValue ID)
Create a new AAM Activation. |
|
| Uses of AlgernonKBSet in org.algernon.rule |
| Methods in org.algernon.rule with parameters of type AlgernonKBSet | |
LispValue |
Rule.findBCRuleCode(Processor processor,
AlgernonKBSet kbSet,
BindingList boundVariables)
Returns the compiled code that is appropriate for the set of bound variables passed in. |
LispValue |
Rule.getCode(Processor processor,
AlgernonKBSet kbSet,
BindingList bindings)
Returns the code for a forward chaining rule, or for a backward chaining rule with no bound variables. |
| Uses of AlgernonKBSet in org.algernon.test |
| Fields in org.algernon.test declared as AlgernonKBSet | |
protected AlgernonKBSet |
BasicTest.m_kbset
|
|
Algernon Software | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||