simplebdd.bool

Interface pBoolPred

All Superinterfaces:

BoolPred, java.lang.Comparable<BoolPred>

All Known Implementing Classes:

Cond, False, True

interface pBoolPred
extends BoolPred, java.lang.Comparable<BoolPred>

Field Summary

Fields inherited from interface simplebdd.bool.BoolPred

F, factory, functions, T

Method Summary

Modifier and Type	Method and Description
int	compareTo(BoolPred that)
java.lang.String	id()
void	initToGraphString()
void	toGraphString(java.lang.StringBuilder b)

Methods inherited from interface simplebdd.bool.BoolPred

and, iff, impl, ite, name, not, or, xor

Method Detail

id

java.lang.String id()

initToGraphString

void initToGraphString()

toGraphString

void toGraphString(java.lang.StringBuilder b)

compareTo

int compareTo(BoolPred that)

Specified by:

compareTo in interface java.lang.Comparable<BoolPred>