de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection Class Reference

List of all members.

Public Member Functions
void	add (BDD formula)
void	addAll (IFormulaCollection collection)
void	addAll (BddFormulaCollection collection)
void	addAll (Collection< BDD > collection)
	BddFormulaCollection (BddFormulaCollection collection)
	BddFormulaCollection (BDD formula)
	BddFormulaCollection (Collection< BDD > collection)
	BddFormulaCollection ()
void	clear ()
	clears the collection
BDD	formula ()
void	free ()
	frees the BDDs in the collection
Iterator< BDD >	iterator ()
int	size ()
Private Attributes
Collection< BDD >	theFormulaCollection

---

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.BddFormulaCollection

(

)

de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.BddFormulaCollection

(

BDD

formula

)

de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.BddFormulaCollection

(

Collection< BDD >

collection

)

de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.BddFormulaCollection

(

BddFormulaCollection

collection

)

---

Member Function Documentation

void de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.add

(

BDD

formula

)

void de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.addAll

(

IFormulaCollection

collection

)

Implements de.fraunhofer.isst.axbench.operations.checker.solver.formula.IFormulaCollection.

void de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.addAll

(

BddFormulaCollection

collection

)

void de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.addAll

(

Collection< BDD >

collection

)

void de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.clear

(

)

clears the collection

Implements de.fraunhofer.isst.axbench.operations.checker.solver.formula.IFormulaCollection.

BDD de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.formula

(

)

Implements de.fraunhofer.isst.axbench.operations.checker.solver.formula.IFormulaCollection.

void de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.free

(

)

frees the BDDs in the collection

Iterator<BDD> de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.iterator

(

)

Implements de.fraunhofer.isst.axbench.operations.checker.solver.formula.IFormulaCollection.

int de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.size

(

)

---

Member Data Documentation

Collection<BDD> de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection.theFormulaCollection [private]