Uses of Class
com.github.cschen1205.ess.engine.Clause

Packages that use Clause

Package	Description
com.github.cschen1205.ess.engine
com.github.cschen1205.ess.js

Uses of Clause in com.github.cschen1205.ess.engine

Subclasses of Clause in com.github.cschen1205.ess.engine

Modifier and Type	Class and Description
class	EqualsClause Created by cschen on 6/6/16.
class	GEClause Created by cschen on 6/6/16.
class	GreaterClause Created by cschen on 6/6/16.
class	LEClause Created by cschen on 6/6/16.
class	LessClause Created by cschen on 6/6/16.
class	NegationClause Created by chen0 on 7/6/2016.
class	RegexMatchClause Created by chen0 on 7/6/2016.

Methods in com.github.cschen1205.ess.engine that return Clause

Modifier and Type	Method and Description
Clause	Rule.getConsequent()
Clause	RuleInferenceEngine.infer(String goalVariable, List<Clause> unproved_conditions)
Clause	KieRuleInferenceEngine.infer(String goalVariable, List<Clause> unproved_conditions)
Clause	Rule.nextAntecedent()

Methods in com.github.cschen1205.ess.engine that return types with arguments of type Clause

Modifier and Type	Method and Description
List<Clause>	WorkingMemory.getFacts()
List<Clause>	RuleInferenceEngine.getFacts()
List<Clause>	KieRuleInferenceEngine.getFacts()
List<Clause>	RuleInferenceEngine.getFactsAboutVariable(String variable)
List<Clause>	KieRuleInferenceEngine.getFactsAboutVariable(String variable)

Methods in com.github.cschen1205.ess.engine with parameters of type Clause

Modifier and Type	Method and Description
void	Rule.addAntecedent(Clause antecedent)
void	WorkingMemory.addFact(Clause fact)
void	RuleInferenceEngine.addFact(Clause c)
void	KieRuleInferenceEngine.addFact(Clause c)
protected IntersectionType	RegexMatchClause.intersect(Clause rhs)
protected IntersectionType	NegationClause.intersect(Clause rhs)
protected IntersectionType	LessClause.intersect(Clause rhs)
protected IntersectionType	LEClause.intersect(Clause rhs)
protected IntersectionType	GreaterClause.intersect(Clause rhs)
protected IntersectionType	GEClause.intersect(Clause rhs)
protected IntersectionType	EqualsClause.intersect(Clause rhs)
protected IntersectionType	Clause.intersect(Clause rhs)
boolean	WorkingMemory.isFact(Clause c)
boolean	RuleInferenceEngine.isFact(Clause goal, List<Clause> unproved_conditions)
boolean	KieRuleInferenceEngine.isFact(Clause goal, List<Clause> unproved_conditions)
boolean	WorkingMemory.isNotFact(Clause c)
IntersectionType	Clause.matchClause(Clause rhs)
void	Rule.setConsequent(Clause consequent)

Method parameters in com.github.cschen1205.ess.engine with type arguments of type Clause

Modifier and Type	Method and Description
Clause	RuleInferenceEngine.infer(String goalVariable, List<Clause> unproved_conditions)
Clause	KieRuleInferenceEngine.infer(String goalVariable, List<Clause> unproved_conditions)
boolean	RuleInferenceEngine.isFact(Clause goal, List<Clause> unproved_conditions)
boolean	KieRuleInferenceEngine.isFact(Clause goal, List<Clause> unproved_conditions)

Constructors in com.github.cschen1205.ess.engine with parameters of type Clause

Constructor and Description
NegationClause(Clause c)

Uses of Clause in com.github.cschen1205.ess.js

Methods in com.github.cschen1205.ess.js that return types with arguments of type Clause

Modifier and Type	Method and Description
List<Clause>	JSRuleInferenceEngine.getFacts(String variable)