org.processmining.ltl2automaton.plugins.automaton

Class TransitionLabel

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.TransitionLabel

public class TransitionLabel
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	TRUE

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
org.processmining.ltl2automaton.plugins.automaton.TransitionLabel.ILiteral	getaLiteral()
java.util.Set<org.processmining.ltl2automaton.plugins.automaton.TransitionLabel.ILiteral>	getLiterals()
java.util.Collection<java.lang.String>	getNegativeLabels()
int	hashCode()
boolean	isAll()
boolean	isNegative()
boolean	isPositive()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

TRUE

public static final java.lang.String TRUE

See Also:

Constant Field Values

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getaLiteral

public org.processmining.ltl2automaton.plugins.automaton.TransitionLabel.ILiteral getaLiteral()

getLiterals

public java.util.Set<org.processmining.ltl2automaton.plugins.automaton.TransitionLabel.ILiteral> getLiterals()

getNegativeLabels

public java.util.Collection<java.lang.String> getNegativeLabels()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

isAll

public boolean isAll()

isNegative

public boolean isNegative()

isPositive

public boolean isPositive()