- <init>
- getPredicatesInBottomUp
Returns the Bottom-up Ordered List of predicates
- getRuleIndex
- getExtensionalPredicates
- generateRuleDependencyGraph
generates the #ruleDependencyGraph
- removeRuleIndexByBodyPredicate_traverseBodyAtom
This is a helper method for #removeRuleIndexByBodyPredicate. This method
traverses in an atom, and r
- updatePredicateDependencyGraph
Updates the #predicateDependencyGraph by the input rule. It adds all the edges
to #predicateDepende
- updatePredicateDependencyGraph_traverseBodyAtom
This is a helper method for #updatePredicateDependencyGraph. This method
traverses in an atom, and p
- updateRuleIndexByBodyPredicate
updates
- updateRuleIndexByBodyPredicate_traverseBodyAtom
This is a helper method for #updateRuleIndexByBodyPredicate. This method
traverses in an atom, and p
- updateRuleIndexes
This method takes a rule and populates the ruleIndex field.