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)