Package jeops.engine

This package contains the main classes of JEOPS.

See:
Description

Class Summary

ConflictSet	This classes models the conflict set of the inference engine.
DefaultRuleSorter	The default rule sorter used in this inference engine.
KnowledgeBase	The main class of JEOPS.
LRURuleSorter	A rule sorter that will fire the least recently used rule.
MRURuleSorter	A rule sorter that will fire the most recently used rule.
NaturalRuleSorter	A rule sorter that will fire each pair (rule, instanciations) only once, that is, no rule will fire twice with the same list of objects.
ObjectBase	This class models the facts over which the inferenc engine will act.
OneShotRuleSorter	A rule sorter that will fire each rule only once, even if it has more than one possible instantiations.
Precondition	This class models one of the preconditions of a rule.
PriorityRuleSorter	A rule sorter that will choose the rule that has been first declared in the rules file.
Rule	This class models a rule to be evaluated in the inference engine.
RuleAction	This class models an action of a rule to be executed if the rule's preconditions evaluate to true.
RuleBase	Class that models the heart of the inference engine.
RuleDeclaration	This class models a variable declaration (universally quantified) used in a rule definition.
RuleLocalDeclaration	This class models a local variable declaration of a rule.
RuleSorter	Abstract class that defines the methods needed by any rule sorter, used by the conflict set to choose the rule to be fired.

Exception Summary

NoMoreRulesException	This class defines an exception that will be thrown when there aren't more rules to be fired in a conflict set.
RuleNotFiredException	This class models an exception that may be thrown when a rule can't be fired, maybe due to its bad formation or by an exception being thrown when firing it.

Package jeops.engine Description

This package contains the main classes of JEOPS. Basically, this is the only package that needs to be seen by the user.