Uses of Interface
simplebdd.bool.BoolPred

Packages that use BoolPred

Package	Description
simplebdd.bool
simplebdd.test

Uses of BoolPred in simplebdd.bool

Subinterfaces of BoolPred in simplebdd.bool

Modifier and Type	Interface and Description
(package private) interface	pBoolPred

Classes in simplebdd.bool that implement BoolPred

Modifier and Type	Class and Description
(package private) class	Cond
(package private) class	False
(package private) class	True

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	True.and(BoolPred p)
BoolPred	False.and(BoolPred p)
BoolPred	Cond.and(BoolPred p)
(package private) static BoolPred	BPFactory.buildCond(Cond b, pBoolPred p, pBoolPred q)
BoolPred	BoolPredFactory.buildVar(java.lang.String name)
BoolPred	BPFactory.buildVar(java.lang.String name)
BoolPred	BoolPred.iff(BoolPred p)
BoolPred	True.iff(BoolPred p)
BoolPred	False.iff(BoolPred p)
BoolPred	Cond.iff(BoolPred p)
BoolPred	BoolPred.impl(BoolPred p)
BoolPred	True.impl(BoolPred p)
BoolPred	False.impl(BoolPred p)
BoolPred	Cond.impl(BoolPred p)
BoolPred	BoolPred.ite(BoolPred p, BoolPred q)
BoolPred	True.ite(BoolPred p, BoolPred q)
BoolPred	False.ite(BoolPred p, BoolPred q)
BoolPred	Cond.ite(BoolPred p, BoolPred q)
BoolPred	BoolPred.not()
BoolPred	True.not()
BoolPred	False.not()
BoolPred	Cond.not()
BoolPred	BoolPred.or(BoolPred p)
BoolPred	True.or(BoolPred p)
BoolPred	False.or(BoolPred p)
BoolPred	Cond.or(BoolPred p)
BoolPred	BoolPred.xor(BoolPred p)
BoolPred	True.xor(BoolPred p)
BoolPred	False.xor(BoolPred p)
BoolPred	Cond.xor(BoolPred p)

Methods in simplebdd.bool with parameters of type BoolPred

Modifier and Type	Method and Description
BoolPred	BoolPred.and(BoolPred p)
BoolPred	True.and(BoolPred p)
BoolPred	False.and(BoolPred p)
BoolPred	Cond.and(BoolPred p)
int	pBoolPred.compareTo(BoolPred that)
int	True.compareTo(BoolPred that)
int	False.compareTo(BoolPred that)
int	Cond.compareTo(BoolPred that)
BoolPred	BoolPred.iff(BoolPred p)
BoolPred	True.iff(BoolPred p)
BoolPred	False.iff(BoolPred p)
BoolPred	Cond.iff(BoolPred p)
BoolPred	BoolPred.impl(BoolPred p)
BoolPred	True.impl(BoolPred p)
BoolPred	False.impl(BoolPred p)
BoolPred	Cond.impl(BoolPred p)
BoolPred	BoolPred.ite(BoolPred p, BoolPred q)
BoolPred	True.ite(BoolPred p, BoolPred q)
BoolPred	False.ite(BoolPred p, BoolPred q)
BoolPred	Cond.ite(BoolPred p, BoolPred q)
BoolPred	BoolPred.or(BoolPred p)
BoolPred	True.or(BoolPred p)
BoolPred	False.or(BoolPred p)
BoolPred	Cond.or(BoolPred p)
java.lang.String	BoolPredFunctions.toGraphString(BoolPred p)
java.lang.String	BPFunctions.toGraphString(BoolPred p)
BoolPred	BoolPred.xor(BoolPred p)
BoolPred	True.xor(BoolPred p)
BoolPred	False.xor(BoolPred p)
BoolPred	Cond.xor(BoolPred p)

Constructors in simplebdd.bool with parameters of type BoolPred

Constructor and Description
Cond(java.lang.String id, java.lang.String name, BoolPred t, BoolPred f)

Uses of BoolPred in simplebdd.test

Fields in simplebdd.test declared as BoolPred

Modifier and Type	Field and Description
(package private) BoolPred	TestBool.x
(package private) BoolPred	TestBool.y
(package private) BoolPred	TestBool.z

Methods in simplebdd.test with parameters of type BoolPred

Modifier and Type	Method and Description
(package private) void	TestBool.runtest(java.lang.String s, BoolPred p, boolean expectedValue)