|
Algernon Software | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Path | |
org.algernon | |
org.algernon.aam.compile | |
org.algernon.datatype | |
org.algernon.rule |
Uses of Path in org.algernon |
Methods in org.algernon with parameters of type Path | |
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(Path path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
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. |
static boolean |
Algernon.isGroundPath(Path path)
Returns true if the given clause is ground (contains no variables). |
Uses of Path in org.algernon.aam.compile |
Methods in org.algernon.aam.compile that return Path | |
Path |
AlgernonCompiler.preprocessPath(Path path)
Preprocesses a path |
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. |
Methods in org.algernon.aam.compile with parameters of type Path | |
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.compileSubroutine(LispValue variable,
Path path,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
compiles a subroutine. |
Path |
AlgernonCompiler.preprocessPath(Path path)
Preprocesses a path |
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 Path in org.algernon.datatype |
Methods in org.algernon.datatype that return Path | |
Path |
Path.tail()
Returns a path containing all of the clauses in the given path after the first. |
Uses of Path in org.algernon.rule |
Fields in org.algernon.rule declared as Path | |
protected Path |
Rule.m_antecedent
|
protected Path |
Rule.m_consequent
|
Methods in org.algernon.rule that return Path | |
Path |
Rule.getAntecedent()
Returns the direction of the rule. |
Path |
Rule.getConsequent()
|
Methods in org.algernon.rule with parameters of type Path | |
void |
Rule.setAntecedent(Path antecedent)
|
void |
Rule.setConsequent(Path consequent)
|
Constructors in org.algernon.rule with parameters of type Path | |
Rule(Algernon algy,
String name,
Path antecedent,
int direction,
Path consequent,
Clause key,
int type,
Rule root)
Create a new Algernon Rule |
|
Algernon Software | ||||||||||
PREV NEXT | FRAMES NO FRAMES |