com.github.cschen1205.ess.engine

Class KieRuleInferenceEngine

java.lang.Object

com.github.cschen1205.ess.engine.KieRuleInferenceEngine

All Implemented Interfaces:

RuleInferenceEngine

public class KieRuleInferenceEngine
extends Object
implements RuleInferenceEngine

Created by cschen on 6/6/16.

Field Summary

Fields

Modifier and Type	Field and Description
protected WorkingMemory	memory
protected List<Rule>	rules

Constructor Summary

Constructors

Constructor and Description
KieRuleInferenceEngine()

Method Summary

Modifier and Type	Method and Description
void	addFact(Clause c)
void	addFact(String name, ConditionType conditionType, String value)
void	addFact(String name, String value)
void	addRule(Rule rule)
void	clearFacts()
void	clearRules()
protected boolean	fireRule(List<Rule> conflictingRules)
List<Clause>	getFacts()
List<Clause>	getFactsAboutVariable(String variable)
WorkingMemory	getKnowledgeBase()
Rule	getRule(int index)
List<Rule>	getRules()
void	infer()
Clause	infer(String goalVariable, List<Clause> unproved_conditions)
boolean	isFact(Clause goal, List<Clause> unproved_conditions)
List<Rule>	match()
RuleBuilder	newRule()
RuleBuilder	newRule(String name)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

rules

protected List<Rule> rules

memory

protected WorkingMemory memory

Constructor Detail

KieRuleInferenceEngine

public KieRuleInferenceEngine()

Method Detail

addRule

public void addRule(Rule rule)

Specified by:

addRule in interface RuleInferenceEngine

clearRules

public void clearRules()

Specified by:

clearRules in interface RuleInferenceEngine

infer

public void infer()

Specified by:

infer in interface RuleInferenceEngine

infer

public Clause infer(String goalVariable,
                    List<Clause> unproved_conditions)

Specified by:

infer in interface RuleInferenceEngine

newRule

public RuleBuilder newRule()

Specified by:

newRule in interface RuleInferenceEngine

newRule

public RuleBuilder newRule(String name)

Specified by:

newRule in interface RuleInferenceEngine

clearFacts

public void clearFacts()

Specified by:

clearFacts in interface RuleInferenceEngine

isFact

public boolean isFact(Clause goal,
                      List<Clause> unproved_conditions)

Specified by:

isFact in interface RuleInferenceEngine

fireRule

protected boolean fireRule(List<Rule> conflictingRules)

getKnowledgeBase

public WorkingMemory getKnowledgeBase()

Specified by:

getKnowledgeBase in interface RuleInferenceEngine

getFacts

public List<Clause> getFacts()

Specified by:

getFacts in interface RuleInferenceEngine

addFact

public void addFact(Clause c)

Specified by:

addFact in interface RuleInferenceEngine

getFactsAboutVariable

public List<Clause> getFactsAboutVariable(String variable)

Specified by:

getFactsAboutVariable in interface RuleInferenceEngine

match

public List<Rule> match()

Specified by:

match in interface RuleInferenceEngine

getRules

public List<Rule> getRules()

Specified by:

getRules in interface RuleInferenceEngine

addFact

public void addFact(String name,
                    String value)

Specified by:

addFact in interface RuleInferenceEngine

addFact

public void addFact(String name,
                    ConditionType conditionType,
                    String value)

Specified by:

addFact in interface RuleInferenceEngine

getRule

public Rule getRule(int index)

Specified by:

getRule in interface RuleInferenceEngine