public class Transition
extends java.lang.Object
Constructor and Description |
---|
Transition(State source,
State target) |
Transition(State source,
State target,
java.util.Collection<java.lang.String> propositions) |
Transition(State source,
State target,
java.lang.String proposition) |
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() |
public Transition(State source, State target, java.util.Collection<java.lang.String> propositions)
public java.util.Collection<java.lang.String> getNegativeLabels()
public java.lang.String getPositiveLabel()
public State getSource()
public State getTarget()
public boolean isAll()
public boolean isNegative()
public boolean isPositive()
public boolean parses(java.lang.String img)
public void remove()
public java.lang.String toString()
toString
in class java.lang.Object