public abstract class BooleanFormula
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static BooleanFormula |
FALSE |
static BooleanFormula |
TRUE |
| Constructor and Description |
|---|
BooleanFormula() |
| Modifier and Type | Method and Description |
|---|---|
abstract <T> T |
accept(BooleanFormulaVisitor1<T> visitor) |
abstract BooleanFormula |
not() |
static BooleanFormula |
of(boolean b) |
public static final BooleanFormula TRUE
public static final BooleanFormula FALSE
public abstract BooleanFormula not()
public abstract <T> T accept(BooleanFormulaVisitor1<T> visitor)
public static BooleanFormula of(boolean b)