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

Class for representing the logical formula AND. More...

List of all members.

Public Member Functions
	AxlFormulaAnd (AxlFormula axlFormula, AxlFormula that)

---

Detailed Description

Class for representing the logical formula AND.

Author:

smann

Version:

0.9.0

Since:

0.9.0

---

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.formula.AxlFormulaAnd.AxlFormulaAnd	(	AxlFormula	axlFormula,
		AxlFormula	that
	)