Package org.mcp.variables.dynamics

Class AutomatonOperableLabel

java.lang.Object

org.mcp.variables.dynamics.OperableLabel

org.mcp.variables.dynamics.AutomatonOperableLabel

public class AutomatonOperableLabel
extends OperableLabel

Constructor Summary

Constructors

Constructor	Description
AutomatonOperableLabel(dk.brics.automaton.Automaton value)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Object	getValue()
int	hashCode()
OperableLabel	inter(OperableLabel other)
boolean	isEmpty()
OperableLabel	minus(OperableLabel other)
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

AutomatonOperableLabel

public AutomatonOperableLabel(dk.brics.automaton.Automaton value)

Method Details

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