class BPFactory extends java.lang.Object implements BoolPredFactory
Modifier and Type | Field and Description |
---|---|
private static int |
COUNT |
private static HashMap3 |
flyweight |
Constructor and Description |
---|
BPFactory() |
Modifier and Type | Method and Description |
---|---|
(package private) static BoolPred |
buildCond(Cond b,
pBoolPred p,
pBoolPred q) |
BoolPred |
buildVar(java.lang.String name) |
private static pBoolPred |
min(pBoolPred p1,
pBoolPred p2,
pBoolPred p3) |
BPFactory()