Uses of Class
net.sf.bddbddb.BDDRelation

Packages that use BDDRelation

net.sf.bddbddb.ir
net.sf.bddbddb.ir.lowlevel

Uses of BDDRelation in net.sf.bddbddb.ir

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

static java.lang.String	Operation.getRenames(BDDRelation r1, BDDRelation r2)
protected net.sf.javabdd.BDDVarSet	BDDOperationInterpreter.makeDomainsMatch(net.sf.javabdd.BDD b2, net.sf.javabdd.BDD b3, BDDRelation r1, BDDRelation r2, BDDRelation r3)
protected net.sf.javabdd.BDD	BDDOperationInterpreter.makeDomainsMatch(net.sf.javabdd.BDD b, BDDRelation r1, BDDRelation r2)

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

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

BDDRelation

Replace.getSrc()

Constructors in net.sf.bddbddb.ir.lowlevel with parameters of type BDDRelation

ApplyEx(BDDRelation r0, BDDRelation r1, net.sf.javabdd.BDDFactory.BDDOp op, BDDRelation r2)

BDDProject(BDDRelation r0, BDDRelation r1)

Replace(BDDRelation r0, BDDRelation r1)