public interface BoolPred
Modifier and Type | Field and Description |
---|---|
static BoolPred |
F |
static BoolPredFactory |
factory |
static BoolPredFunctions |
functions |
static BoolPred |
T |
Modifier and Type | Method and Description |
---|---|
BoolPred |
and(BoolPred p) |
BoolPred |
iff(BoolPred p) |
BoolPred |
impl(BoolPred p) |
BoolPred |
ite(BoolPred p,
BoolPred q) |
java.lang.String |
name() |
BoolPred |
not() |
BoolPred |
or(BoolPred p) |
BoolPred |
xor(BoolPred p) |
static final BoolPredFactory factory
static final BoolPredFunctions functions