BPFactory

class BPFactory
extends java.lang.Object
implements BoolPredFactory

Fields
Modifier and Type	Field and Description
`private static int`	`COUNT`
`private static HashMap3`	`flyweight`

Constructors
Constructor and Description
`BPFactory()`

All Methods Static Methods Instance Methods Concrete Methods
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)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

private static final HashMap3 flyweight

private static pBoolPred min(pBoolPred p1,
                             pBoolPred p2,
                             pBoolPred p3)

static BoolPred buildCond(Cond b,
                          pBoolPred p,
                          pBoolPred q)

Class BPFactory