Uses of Class
org.algernon.rule.Rule

Packages that use Rule

org.algernon
org.algernon.aam
org.algernon.aam.compile
org.algernon.datatype
org.algernon.rule

Uses of Rule in org.algernon

Methods in org.algernon that return Rule

Rule	Algernon.getRule(String str) Returns the rule with the given name.

Methods in org.algernon with parameters of type Rule

void	Algernon.addRule(Rule rule, AlgernonFrame associatedFrame) Adds a rule to the system.
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.

Uses of Rule in org.algernon.aam

Methods in org.algernon.aam that return Rule

Rule	Processor.getRule(String name) Retrieves a rule by name.

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

boolean	Tracer.isRuleTraced(Rule rule) Returns true if the given rule is currently traced.
LispValue	Processor.process(LispValue code, AlgernonKBSet kbSet, BindingSet bindings, Rule rule, Process parent, ErrorSet errors) Process the given code.
void	Processor.addRule(Rule rule, AlgernonFrame associatedFrame) Adds a new rule.
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.

Uses of Rule in org.algernon.aam.compile

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

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)
String	AlgernonCompiler.pathRestrictionWarning(Clause clause, Rule rule) Returns a warning about path restriction.
Collection	AlgernonCompiler.compileRule(Rule rule, AlgernonKBSet kbSet, BindingList bindings, Map argTypes, AlgernonCompilerState compileState, int startIndex, ErrorSet errors) Compiles a rule.
protected String	AlgernonCompiler.generateRuleName(Rule rule, BindingList variableSet) Generates a fake rule name based on the set of bound variables.
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 Rule in org.algernon.datatype

Fields in org.algernon.datatype declared as Rule

protected Rule	Closure.f_rule
protected Rule	Activation.m_rule

Methods in org.algernon.datatype that return Rule

Rule	Closure.getRule() Returns the rule this Closure encloses.
Rule	Activation.getRule() Returns the value of Rule.

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

void	Activation.setRule(Rule newRule) Sets the value of Rule.

Constructors in org.algernon.datatype with parameters of type Rule

Closure(Algernon algy, Rule rule, BindingList bindings, AlgernonFrame associatedFrame, LispValue key, LispValue lookupVars)

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 Rule in org.algernon.rule

Fields in org.algernon.rule declared as Rule

protected Rule

Rule.m_root

Methods in org.algernon.rule that return Rule

Rule	RuleManager.getRule(String ruleName) Looks up a rule by its name.
Rule	Rule.getRoot()

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

String	RuleManager.continuationRuleName(Rule rule, int index) Returns a string containing the name of a continuation rule.
void	RuleManager.addRule(Rule rule) Stores one rule of the given direction and type.
void	RuleManager.addRule(Rule rule, AlgernonFrame associatedFrame) Stores one rule of the given direction and type, associated with the given frame (which should be a class or slot, as appropriate.
void	Rule.setRoot(Rule root)

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

Rule(Algernon algy, LispValue ruleForm, int type, Rule root)
Create a new Algernon Rule

Rule(Algernon algy, String name, LispValue ruleForm, int type, Rule root)
Create a new Algernon Rule

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