Rit::Base::Rule
Represents a inference rule.
Inherits from Rit::Base::Resource.
$class->create( $a, $b, $c, $vacuum)
Create a new rule. Implement the rule in the DB.
Does nothing if the rule already exists.
Returns an array ref
Returns an array ref
Returns an array ref
Get pred obj A.
Get pred obj B.
Get pred obj C.
$n->desig()
The designation of the rule, to be used for node administration or debugging.
$n->sysdesig()
The designation of the rule, to be used for node administration or debugging. This version of desig indludes the node id.
Returns a unique predictable id representing this object
The translation of the rule
Make it a plain value. Ie, just return self...
A full vacuum sweep of the DB will run validate and then create_check for each arc. In order to catch tied circular dependencies we will in validation check validate dependencies til we found a base in explicit arcs.
See Rit::Base::Arc/explain for the explain format.
Make inference on the B part on create
args res must be defined
Make inference on the A part on create
args res must be defined
Remove implicit arcs infered from this arc, part B
args res must be defined
Remove implicit arcs infered from this arc, part A
args res must be defined
Rit::Base, Rit::Base::Resource, Rit::Base::Arc, Rit::Base::Pred, Rit::Base::Search