public class ReducedPlace
extends java.lang.Object
Constructor and Description |
---|
ReducedPlace(int id) |
Modifier and Type | Method and Description |
---|---|
void |
addToInput(ReducedTransition transition,
int multiplicity) |
void |
addToOutput(ReducedTransition transition,
int multiplicity) |
boolean |
equals(java.lang.Object o) |
gnu.trove.map.TObjectIntMap<ReducedTransition> |
getInput() |
gnu.trove.map.TObjectIntMap<ReducedTransition> |
getOutput() |
int |
hashCode() |
java.lang.String |
toHTMLString() |
java.lang.String |
toIdString() |
java.lang.String |
toString() |
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toIdString()
public gnu.trove.map.TObjectIntMap<ReducedTransition> getInput()
public void addToInput(ReducedTransition transition, int multiplicity)
public gnu.trove.map.TObjectIntMap<ReducedTransition> getOutput()
public void addToOutput(ReducedTransition transition, int multiplicity)
public java.lang.String toHTMLString()