Uses of Interface
simplebdd.bool.BoolPred

Packages that use BoolPred

Package	Description
simplebdd.bool

Uses of BoolPred in simplebdd.bool

Fields in simplebdd.bool declared as BoolPred

Modifier and Type	Field and Description
static BoolPred	BoolPred.F
static BoolPred	BoolPred.T

Methods in simplebdd.bool that return BoolPred

Modifier and Type	Method and Description
BoolPred	BoolPred.and(BoolPred p)
BoolPred	BoolPredFactory.buildVar(java.lang.String name)
BoolPred	BoolPred.iff(BoolPred p)
BoolPred	BoolPred.impl(BoolPred p)
BoolPred	BoolPred.ite(BoolPred p, BoolPred q)
BoolPred	BoolPred.not()
BoolPred	BoolPred.or(BoolPred p)
BoolPred	BoolPred.xor(BoolPred p)

Methods in simplebdd.bool with parameters of type BoolPred

Modifier and Type	Method and Description
BoolPred	BoolPred.and(BoolPred p)
BoolPred	BoolPred.iff(BoolPred p)
BoolPred	BoolPred.impl(BoolPred p)
BoolPred	BoolPred.ite(BoolPred p, BoolPred q)
BoolPred	BoolPred.or(BoolPred p)
java.lang.String	BoolPredFunctions.toGraphString(BoolPred p)
BoolPred	BoolPred.xor(BoolPred p)