Uses of Class
net.sf.bddbddb.Relation

Packages that use Relation

net.sf.bddbddb
net.sf.bddbddb.dataflow
net.sf.bddbddb.ir
net.sf.bddbddb.ir.dynamic
net.sf.bddbddb.ir.highlevel
net.sf.bddbddb.ir.lowlevel
net.sf.bddbddb.order

Uses of Relation in net.sf.bddbddb

Subclasses of Relation in net.sf.bddbddb

class	BDDRelation An implementation of Relation that uses BDDs.
class	LSRelation LSRelation

Fields in net.sf.bddbddb declared as Relation

protected Relation	Relation.negated Negated form of this relation, or null if it doesn't exist.
protected Relation	RuleTerm.relation Relation for this rule term.
protected Relation	Attribute.relation Relation that this attribute is associated with.

Methods in net.sf.bddbddb that return Relation

Relation	LSRelation.copy()
Relation	BDDRelation.copy()
abstract Relation	Relation.copy() Make a copy of this relation.
Relation	LSSolver.createRelation(java.lang.String name, java.util.List attributes)
Relation	BDDSolver.createRelation(java.lang.String name, java.util.List attributes)
abstract Relation	Solver.createRelation(java.lang.String name, java.util.List attributes) Create a new relation.
static Relation	Relation.fromXMLElement(org.jdom.Element e, XMLFactory f)
Relation	Relation.getNegated() Return the negated form of this relation, or null if it does not exist.
Relation	RuleTerm.getRelation()
Relation	Attribute.getRelation() Returns the relation that this attribute is associated with.
Relation	Solver.getRelation(int index) Get the relation with the given index.
Relation	Solver.getRelation(java.lang.String name) Get the named relation.
Relation	XMLFactory.getRelation(java.lang.String s)
Relation	Relation.makeNegated(Solver solver) Get or create the negated form of this relation.

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

void	CodeFragment.invoke(Relation r, net.sf.javabdd.BDD oldValue)
void	DatalogParser.parseAndAddConstraint(Relation r, java.util.regex.Matcher m) Parse and add an attribute constraint.

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

CodeFragment(java.lang.String string, Relation r)

RuleTerm(Relation relation, java.util.List variables)
Create a new RuleTerm with the given relation and list of variables.

Uses of Relation in net.sf.bddbddb.dataflow

Methods in net.sf.bddbddb.dataflow that return Relation

Relation	CopyProp.CopyPropFact.getCopy(Relation r)
Relation	PartialOrder.Constraint.getLeftRelation()
Relation	PartialRedundancy.Phi.getRelationDest()
Relation	PartialOrder.Constraint.getRightRelation()

Methods in net.sf.bddbddb.dataflow with parameters of type Relation

PartialOrder.Constraints	PartialOrder.getConstraints(Relation r)
PartialOrder.Constraints	PartialOrder.PartialOrderFact.getConstraints(Relation r)
Relation	CopyProp.CopyPropFact.getCopy(Relation r)
DefUse.OperationSet	DefUse.getDefs(Relation r)
RelationProblem.RelationFact	RelationProblem.RelationFacts.getFact(Relation r) Returns the fact associated with a relation.
DefUse.OperationSet	DefUse.DefUseFact.getReachingDefs(Relation r) Get the reaching defs for this relation.
DefUse.OperationSet	DefUse.getUses(Relation r)
boolean	Liveness.LivenessFact.isAlive(Relation r)
void	PartialRedundancy.Phi.replaceSrc(Relation r_old, Relation r_new)
void	PartialOrder.PartialOrderFact.setConstraints(Relation r, PartialOrder.Constraints constraints)
void	PartialRedundancy.Phi.setRelationDest(Relation r0)
PartialOrder.Constraints	PartialOrder.PartialOrderTF.visitUnionBinary(Relation src1, Relation src2)

Constructors in net.sf.bddbddb.dataflow with parameters of type Relation

ConstantProp.ConstantPropFact(Relation r, java.lang.Object o)

PartialOrder.BeforeConstraint(Relation leftRel, Attribute leftAttr, Relation rightRel, Attribute rightAttr)

PartialOrder.BeforeConstraint(Relation leftRel, Attribute leftAttr, Relation rightRel, Attribute rightAttr, double confidence)

PartialOrder.Constraint(Relation leftRel, Attribute leftAttr, Relation rightRel, Attribute rightAttr)

PartialOrder.Constraint(Relation leftRel, Attribute leftAttr, Relation rightRel, Attribute rightAttr, double confidence)

PartialOrder.InterleavedConstraint(Relation leftRel, Attribute leftAttr, Relation rightRel, Attribute rightAttr)

PartialOrder.InterleavedConstraint(Relation leftRel, Attribute leftAttr, Relation rightRel, Attribute rightAttr, double confidence)

PartialRedundancy.Phi(Relation dest, java.util.Collection operations)

Uses of Relation in net.sf.bddbddb.ir

Methods in net.sf.bddbddb.ir that return Relation

Relation	IR.getRelation(int index)
Relation	IR.getRelation(java.lang.String name)
abstract Relation	Operation.getRelationDest()

Methods in net.sf.bddbddb.ir with parameters of type Relation

void	DomainAssignment.forceConstraints(Relation r)
abstract void	Operation.replaceSrc(Relation r_old, Relation r_new)
abstract void	Operation.setRelationDest(Relation r0)

Uses of Relation in net.sf.bddbddb.ir.dynamic

Methods in net.sf.bddbddb.ir.dynamic that return Relation

Relation	Nop.getRelationDest()
Relation	If.getRelationDest()

Methods in net.sf.bddbddb.ir.dynamic with parameters of type Relation

void	Nop.replaceSrc(Relation r_old, Relation r_new)
void	If.replaceSrc(Relation r_old, Relation r_new)
void	Nop.setRelationDest(Relation dest)
void	If.setRelationDest(Relation r0)

Uses of Relation in net.sf.bddbddb.ir.highlevel

Methods in net.sf.bddbddb.ir.highlevel that return Relation

Relation	Save.getRelationDest()
Relation	Load.getRelationDest()
Relation	Copy.getRelationDest()
Relation	Invert.getRelationDest()
Relation	Zero.getRelationDest()
Relation	Universe.getRelationDest()
Relation	Free.getRelationDest()
Relation	GenConstant.getRelationDest()
Relation	JoinConstant.getRelationDest()
Relation	Project.getRelationDest()
Relation	BooleanOperation.getRelationDest()
Relation	Rename.getRelationDest()
Relation	Save.getSrc()
Relation	Copy.getSrc()
Relation	Invert.getSrc()
Relation	Free.getSrc()
Relation	JoinConstant.getSrc()
Relation	Project.getSrc()
Relation	Rename.getSrc()
Relation	BooleanOperation.getSrc1()
Relation	BooleanOperation.getSrc2()

Methods in net.sf.bddbddb.ir.highlevel with parameters of type Relation

void	Save.replaceSrc(Relation r_old, Relation r_new)
void	Load.replaceSrc(Relation r_old, Relation r_new)
void	Copy.replaceSrc(Relation r_old, Relation r_new)
void	Invert.replaceSrc(Relation r_old, Relation r_new)
void	Zero.replaceSrc(Relation r_old, Relation r_new)
void	Universe.replaceSrc(Relation r_old, Relation r_new)
void	Free.replaceSrc(Relation r_old, Relation r_new)
void	GenConstant.replaceSrc(Relation r_old, Relation r_new)
void	JoinConstant.replaceSrc(Relation r_old, Relation r_new)
void	Project.replaceSrc(Relation r_old, Relation r_new)
void	BooleanOperation.replaceSrc(Relation r_old, Relation r_new)
void	Rename.replaceSrc(Relation r_old, Relation r_new)
void	Save.setRelationDest(Relation r0)
void	Load.setRelationDest(Relation r0)
void	Copy.setRelationDest(Relation r0)
void	Invert.setRelationDest(Relation r0)
void	Zero.setRelationDest(Relation r0)
void	Universe.setRelationDest(Relation r0)
void	Free.setRelationDest(Relation r0)
void	GenConstant.setRelationDest(Relation r0)
void	JoinConstant.setRelationDest(Relation r0)
void	Project.setRelationDest(Relation r0)
void	BooleanOperation.setRelationDest(Relation r0)
void	Rename.setRelationDest(Relation r0)

Constructors in net.sf.bddbddb.ir.highlevel with parameters of type Relation

BooleanOperation(Relation r0, Relation r1, Relation r2)

Copy(Relation r0, Relation r1)

Difference(Relation r0, Relation r1, Relation r2)

Free(Relation r)

GenConstant(Relation r0, Attribute a, long value)

Invert(Relation r0, Relation r1)

Join(Relation r0, Relation r1, Relation r2)

JoinConstant(Relation r0, Relation r1, Attribute a, long value)

Load(Relation r0, java.lang.String fileName, boolean tuples)

Project(Relation r0, Relation r1)

Rename(Relation r0, Relation r1, java.util.Map renames)

Save(Relation r, java.lang.String fileName, boolean tuples)

Union(Relation r0, Relation r1, Relation r2)

Universe(Relation r0)

Zero(Relation r0)

Uses of Relation in net.sf.bddbddb.ir.lowlevel

Methods in net.sf.bddbddb.ir.lowlevel that return Relation

Relation	BDDProject.getRelationDest()
Relation	Replace.getRelationDest()
Relation	ApplyEx.getRelationDest()
Relation	BDDProject.getSrc()
Relation	ApplyEx.getSrc1()
Relation	ApplyEx.getSrc2()

Methods in net.sf.bddbddb.ir.lowlevel with parameters of type Relation

void	BDDProject.replaceSrc(Relation r_old, Relation r_new)
void	Replace.replaceSrc(Relation r_old, Relation r_new)
void	ApplyEx.replaceSrc(Relation r_old, Relation r_new)
void	BDDProject.setRelationDest(Relation r0)
void	Replace.setRelationDest(Relation r0)
void	ApplyEx.setRelationDest(Relation r0)

Uses of Relation in net.sf.bddbddb.order

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

MapBasedTranslator(InferenceRule ir, Relation r, boolean direction)
direction == true means map from rule to relation.