qbf.QuantifiedBooleanVariable Class Reference

Classes
class	ExistentialVariable
class	UniversalVariable

Public Member Functions
	QuantifiedBooleanVariable (BinaryFunction< Boolean, Boolean, Boolean > operator)

Detailed Description

Definition at line 29 of file QuantifiedBooleanVariable.java.

---

The documentation for this class was generated from the following file:

• Source/src/qbf/QuantifiedBooleanVariable.java