Uses of Class
net.sf.bddbddb.BDDSolver

Packages that use BDDSolver

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

Uses of BDDSolver in net.sf.bddbddb

Fields in net.sf.bddbddb declared as BDDSolver

protected BDDSolver	BDDRelation.solver Link to solver.
protected BDDSolver	BDDInferenceRule.solver

Methods in net.sf.bddbddb that return BDDSolver

BDDSolver

BDDRelation.getSolver() Get the solver object.

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

static void

BDDRelation.save(BDDSolver solver, java.lang.String filename, net.sf.javabdd.BDD relation) Save a BDD with a valid header.

Uses of BDDSolver in net.sf.bddbddb.ir

Constructors in net.sf.bddbddb.ir with parameters of type BDDSolver

BDDOperationInterpreter(BDDSolver solver, net.sf.javabdd.BDDFactory factory)

Uses of BDDSolver in net.sf.bddbddb.order

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

TrialDataRepository(BDDSolver solver)

TrialDataRepository(java.util.Collection allTrials, BDDSolver solver)