simplebdd.bool

Interface BoolPred

public interface BoolPred

An implementation of Boolean Predicates using BDDs. The functions which take arguments of type BoolPred may throw a ClassCastException if given an object that was not created by BoolPred.factory().

Field Summary

Fields

Modifier and Type	Field and Description
static BoolPred	F
static BoolPredFactory	factory
static BoolPredFunctions	functions
static BoolPred	T

Method Summary

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)

Field Detail

T

static final BoolPred T

F

static final BoolPred F

factory

static final BoolPredFactory factory

functions

static final BoolPredFunctions functions

Method Detail

not

BoolPred not()

and

BoolPred and(BoolPred p)

or

BoolPred or(BoolPred p)

xor

BoolPred xor(BoolPred p)

impl

BoolPred impl(BoolPred p)

iff

BoolPred iff(BoolPred p)

ite

BoolPred ite(BoolPred p,
             BoolPred q)

name

java.lang.String name()