Package org.mcp.variables.dynamics

Class BddOperableLabel

java.lang.Object

org.mcp.variables.dynamics.OperableLabel

org.mcp.variables.dynamics.BddOperableLabel

public class BddOperableLabel
extends OperableLabel

Constructor Summary

Constructors

Constructor	Description
BddOperableLabel(net.sf.javabdd.BDD value)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
net.sf.javabdd.BDDFactory	getBddFactory()
Object	getValue()
int	hashCode()
OperableLabel	inter(OperableLabel other)
boolean	isEmpty()
OperableLabel	minus(OperableLabel other)
void	setBddFactory(net.sf.javabdd.BDDFactory bddFactory)
String	toString()
OperableLabel	union(OperableLabel other)

Methods inherited from class org.mcp.variables.dynamics.OperableLabel

clone

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

BddOperableLabel

public BddOperableLabel(net.sf.javabdd.BDD value)

Method Details

getBddFactory

public net.sf.javabdd.BDDFactory getBddFactory()

setBddFactory

public void setBddFactory(net.sf.javabdd.BDDFactory bddFactory)

union

public OperableLabel union(OperableLabel other)

Specified by:

union in class OperableLabel

inter

public OperableLabel inter(OperableLabel other)

Specified by:

inter in class OperableLabel

minus

public OperableLabel minus(OperableLabel other)

Specified by:

minus in class OperableLabel

getValue

public Object getValue()

Specified by:

getValue in class OperableLabel

equals

public boolean equals(Object o)

Specified by:

equals in class OperableLabel

hashCode

public int hashCode()

Specified by:

hashCode in class OperableLabel

toString

public String toString()

Specified by:

toString in class OperableLabel

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in class OperableLabel