|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BooleanFormula | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
kodkod.engine.config | Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. |
Uses of BooleanFormula in kodkod.engine.bool |
---|
Subclasses of BooleanFormula in kodkod.engine.bool | |
---|---|
class |
BooleanVariable
Represents a boolean variable. |
class |
ITEGate
An if-then-else gate. |
class |
MultiGate
A logic gate with two or more inputs; an AND or an OR gate. |
class |
NotGate
A logic NOT gate. |
Methods in kodkod.engine.bool that return BooleanFormula | |
---|---|
BooleanFormula |
NotGate.input(int i)
Returns this.input[i]. |
BooleanFormula |
ITEGate.input(int i)
Returns this.inputs[i]. |
BooleanFormula |
BooleanVariable.input(int i)
Throws an IndexOutOfBoundsException. |
abstract BooleanFormula |
BooleanFormula.input(int i)
Returns the ith input to this gate. |
Methods in kodkod.engine.bool that return types with arguments of type BooleanFormula | |
---|---|
java.util.Iterator<BooleanFormula> |
NotGate.iterator()
Returns an iterator that returns this gate's single input. |
java.util.Iterator<BooleanFormula> |
ITEGate.iterator()
Returns an iterator over this.inputs |
java.util.Iterator<BooleanFormula> |
BooleanVariable.iterator()
Returns an empty iterator. |
abstract java.util.Iterator<BooleanFormula> |
BooleanFormula.iterator()
Returns an iterator over the inputs to this gate. |
Uses of BooleanFormula in kodkod.engine.config |
---|
Methods in kodkod.engine.config with parameters of type BooleanFormula | |
---|---|
void |
Reporter.flattening(BooleanFormula circuit)
Reports that the stage 5 of the analysis is being performed on the given boolean formula. |
void |
ConsoleReporter.flattening(BooleanFormula circuit)
|
void |
AbstractReporter.flattening(BooleanFormula circuit)
|
void |
Reporter.translatingToCNF(BooleanFormula circuit)
Reports that the given (optimized) circuit is being translated to CNF (stage 6 of the analysis). |
void |
ConsoleReporter.translatingToCNF(BooleanFormula circuit)
|
void |
AbstractReporter.translatingToCNF(BooleanFormula circuit)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |