Package org.mcp.variables.dynamics

Class OperableLabel

java.lang.Object

org.mcp.variables.dynamics.OperableLabel

Direct Known Subclasses:

AutomatonOperableLabel, BddOperableLabel, MCPOperableLabel, MutableSetOperableLabel

public abstract class OperableLabel
extends Object

Constructor Summary

Constructors

Constructor	Description
OperableLabel()

Method Summary

Modifier and Type	Method	Description
protected Object	clone()
abstract boolean	equals(Object o)
abstract Object	getValue()
abstract int	hashCode()
abstract OperableLabel	inter(OperableLabel other)
abstract boolean	isEmpty()
abstract OperableLabel	minus(OperableLabel other)
abstract String	toString()
abstract OperableLabel	union(OperableLabel other)

Methods inherited from class java.lang.Object

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

Constructor Details

OperableLabel

public OperableLabel()

Method Details

union

public abstract OperableLabel union(OperableLabel other)

inter

public abstract OperableLabel inter(OperableLabel other)

minus

public abstract OperableLabel minus(OperableLabel other)

getValue

public abstract Object getValue()

equals

public abstract boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class Object

toString

public abstract String toString()

Overrides:

toString in class Object

isEmpty

public abstract boolean isEmpty()

clone

protected Object clone()
                throws CloneNotSupportedException

Overrides:

clone in class Object

Throws:

CloneNotSupportedException