org.processmining.ltl2automaton.plugins.automaton

Class Transition

java.lang.Object

org.processmining.ltl2automaton.plugins.automaton.Transition

public class Transition
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
java.util.Collection<java.lang.String>	getNegativeLabels()
java.lang.String	getPositiveLabel()
State	getSource()
State	getTarget()
boolean	isAll()
boolean	isNegative()
boolean	isPositive()
boolean	parses(java.lang.String img)
void	remove()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getNegativeLabels

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

getPositiveLabel

public java.lang.String getPositiveLabel()

getSource

public State getSource()

getTarget

public State getTarget()

isAll

public boolean isAll()

isNegative

public boolean isNegative()

isPositive

public boolean isPositive()

parses

public boolean parses(java.lang.String img)

remove

public void remove()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object