de.fraunhofer.isst.axbench.operations.checker.solver.formula.IFormulaCollection Interface Reference

List of all members.

Public Member Functions
void	addAll (IFormulaCollection collection)
void	clear ()
Object	formula ()
Iterator<?extends Object >	iterator ()

---

Member Function Documentation

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

(

IFormulaCollection

collection

)

Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaCollection, de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection, and de.fraunhofer.isst.axbench.operations.checker.solver.formula.SpassFormulaCollection.

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

(

)

Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaCollection, de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection, and de.fraunhofer.isst.axbench.operations.checker.solver.formula.SpassFormulaCollection.

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

(

)

Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaCollection, de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection, and de.fraunhofer.isst.axbench.operations.checker.solver.formula.SpassFormulaCollection.

Iterator<? extends Object> de.fraunhofer.isst.axbench.operations.checker.solver.formula.IFormulaCollection.iterator

(

)

Implemented in de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaCollection, de.fraunhofer.isst.axbench.operations.checker.solver.formula.BddFormulaCollection, and de.fraunhofer.isst.axbench.operations.checker.solver.formula.SpassFormulaCollection.