Uses of Class
net.sf.bddbddb.RuleTerm

Packages that use RuleTerm

net.sf.bddbddb
net.sf.bddbddb.order

Uses of RuleTerm in net.sf.bddbddb

Fields in net.sf.bddbddb declared as RuleTerm

protected RuleTerm

InferenceRule.bottom Head of the rule (i.e.

Methods in net.sf.bddbddb that return RuleTerm

static RuleTerm	RuleTerm.fromXMLElement(org.jdom.Element e, Solver s, java.util.Map nameToVar)
RuleTerm	InferenceRule.getHead() Returns the head term.

Methods in net.sf.bddbddb with parameters of type RuleTerm

InferenceRule

BDDSolver.createInferenceRule(java.util.List top, RuleTerm bottom)

Constructors in net.sf.bddbddb with parameters of type RuleTerm

InferenceRule(Solver solver, java.util.List top, RuleTerm bottom)
Construct a new inference rule.

InferenceRule(Solver solver, java.util.List top, RuleTerm bottom, int id)

LSInferenceRule(Solver solver, java.util.List top, RuleTerm bottom)

LSInferenceRule(Solver solver, java.util.List top, RuleTerm bottom, int id)

Uses of RuleTerm in net.sf.bddbddb.order

Constructors in net.sf.bddbddb.order with parameters of type RuleTerm

MapBasedTranslator(RuleTerm rt, boolean direction)
direction == true means map from ruleterm to relation.