simplebdd.bool

Class Cond

java.lang.Object

simplebdd.bool.Cond

All Implemented Interfaces:

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

class Cond
extends java.lang.Object
implements pBoolPred

Field Summary

Fields

Modifier and Type	Field and Description
(package private) pBoolPred	f
private java.lang.String	id
private java.lang.String	name
private boolean	printed
(package private) pBoolPred	t

Fields inherited from interface simplebdd.bool.BoolPred

F, factory, functions, T

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
BoolPred	and(BoolPred p)
int	compareTo(BoolPred that)
java.lang.String	id()
BoolPred	iff(BoolPred p)
BoolPred	impl(BoolPred p)
void	initToGraphString()
BoolPred	ite(BoolPred p, BoolPred q)
java.lang.String	name()
BoolPred	not()
BoolPred	or(BoolPred p)
void	toGraphString(java.lang.StringBuilder b)
java.lang.String	toString()
BoolPred	xor(BoolPred p)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

id

private final java.lang.String id

name

private final java.lang.String name

t

final pBoolPred t

f

final pBoolPred f

printed

private boolean printed

Constructor Detail

Cond

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

Method Detail

not

public final BoolPred not()

Specified by:

not in interface BoolPred

and

public final BoolPred and(BoolPred p)

Specified by:

and in interface BoolPred

or

public final BoolPred or(BoolPred p)

Specified by:

or in interface BoolPred

xor

public final BoolPred xor(BoolPred p)

Specified by:

xor in interface BoolPred

impl

public final BoolPred impl(BoolPred p)

Specified by:

impl in interface BoolPred

iff

public final BoolPred iff(BoolPred p)

Specified by:

iff in interface BoolPred

ite

public final BoolPred ite(BoolPred p,
                          BoolPred q)

Specified by:

ite in interface BoolPred

name

public java.lang.String name()

Specified by:

name in interface BoolPred

id

public java.lang.String id()

Specified by:

id in interface pBoolPred

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(BoolPred that)

Specified by:

compareTo in interface java.lang.Comparable<BoolPred>

Specified by:

compareTo in interface pBoolPred

initToGraphString

public void initToGraphString()

Specified by:

initToGraphString in interface pBoolPred

toGraphString

public void toGraphString(java.lang.StringBuilder b)

Specified by:

toGraphString in interface pBoolPred