RuleGraph

java.lang.Object

com.semedy.reasoner.idb.RuleGraph

All Implemented Interfaces:: Iterable<RuleGraphNode>

public class RuleGraph extends Object implements Iterable<RuleGraphNode>

Constructor Summary

Constructors

Constructor

Description

RuleGraph(SymbolTable symbolTable)
Method Summary

Modifier and Type

Method

Description

void

addAllRules(Collection<Rule> allrules)

int

bottomUpConnectedRules(Rule rule)

List<Rule>

feedingRules(Literal body)

List<Rule>

getBodyToHeads(Literal body)

E.g. for

Graph<RuleGraphNode>

getGraph()

List<Literal>

getHeadToBodies(Rule rule)

E.g. for

RuleGraphNode

getNode(Rule rule)

Rule[]

getRules()

Iterator<RuleGraphNode>

iterator()

RuleGraph

selectRules(List<Rule> rules)

String

toString()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Constructor Details
- RuleGraph
  
  public RuleGraph(SymbolTable symbolTable)
Method Details
- getRules
  
  public Rule[] getRules()
- getGraph
  
  public Graph<RuleGraphNode> getGraph()
- iterator
  
  public Iterator<RuleGraphNode> iterator()
  
  Specified by:
  
  iterator in interface Iterable<RuleGraphNode>
- getNode
  
  public RuleGraphNode getNode(Rule rule)
- addAllRules
  
  public void addAllRules(Collection<Rule> allrules) throws IOException, SemReasonerException
  
  Throws:
  
  IOException
  
  SemReasonerException
- feedingRules
  
  public List<Rule> feedingRules(Literal body)
- getBodyToHeads
  
  public List<Rule> getBodyToHeads(Literal body)
  E.g. for
  r1: p(?X) :- q(?X). r2: q(?X) :- r(?X).
  the result for getBodyToHeads(q(?X)) is r2.
  Parameters:
  
  body - the body
  
  Returns:
  
  the connected rules
- getHeadToBodies
  
  public List<Literal> getHeadToBodies(Rule rule)
  E.g. for
  r1: p(?X) :- q(?X). r2: q(?X) :- r(?X).
  the result for getHeadToBodies(r2) is r1.
  Parameters:
  
  rule - the rule
  
  Returns:
  
  the connected bodies
- selectRules
  
  public RuleGraph selectRules(List<Rule> rules)
- bottomUpConnectedRules
  
  public int bottomUpConnectedRules(Rule rule)
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object