public class VizToPnetMapperL
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
log |
Constructor and Description |
---|
VizToPnetMapperL() |
Modifier and Type | Method and Description |
---|---|
static void |
addChoiceTransition(java.util.Set<java.lang.Integer> inputNodeID,
java.util.Set<java.lang.Integer> outputNodeID,
java.lang.String activity,
InteractivePetriNetL ipn,
java.lang.Integer newTranID,
boolean isSilent) |
static void |
addNewTransition(java.lang.Integer node1ID,
java.lang.Integer node2ID,
java.lang.String newTransStr,
java.lang.String newPlaceStr,
InteractivePetriNetL ipn,
boolean placeToTran,
java.lang.Integer newPlaceID,
java.lang.Integer newTranID,
boolean isSilent) |
static void |
addNewTransition(java.util.Set<java.lang.Integer> sourceNodes,
java.util.Set<java.lang.Integer> targetNodes,
java.lang.String newTransStr,
java.lang.String newPlaceStr,
InteractivePetriNetL ipn,
boolean placeToTran,
java.lang.Integer newPlaceID,
java.lang.Integer newTranID,
boolean isSilent) |
static void |
addParallelPlace(java.util.Set<java.lang.Integer> selectedInput,
java.util.Set<java.lang.Integer> outputNodeID,
java.lang.String newPlaceStr,
InteractivePetriNetL ipn,
java.lang.Integer newPlaceID) |
static void |
changeActivityName(java.lang.Integer id,
InteractivePetriNetL ipn,
boolean isSilent) |
static void |
print() |
public static void print()
public static void addNewTransition(java.lang.Integer node1ID, java.lang.Integer node2ID, java.lang.String newTransStr, java.lang.String newPlaceStr, InteractivePetriNetL ipn, boolean placeToTran, java.lang.Integer newPlaceID, java.lang.Integer newTranID, boolean isSilent)
public static void addParallelPlace(java.util.Set<java.lang.Integer> selectedInput, java.util.Set<java.lang.Integer> outputNodeID, java.lang.String newPlaceStr, InteractivePetriNetL ipn, java.lang.Integer newPlaceID)
public static void addChoiceTransition(java.util.Set<java.lang.Integer> inputNodeID, java.util.Set<java.lang.Integer> outputNodeID, java.lang.String activity, InteractivePetriNetL ipn, java.lang.Integer newTranID, boolean isSilent)
public static void addNewTransition(java.util.Set<java.lang.Integer> sourceNodes, java.util.Set<java.lang.Integer> targetNodes, java.lang.String newTransStr, java.lang.String newPlaceStr, InteractivePetriNetL ipn, boolean placeToTran, java.lang.Integer newPlaceID, java.lang.Integer newTranID, boolean isSilent)
public static void changeActivityName(java.lang.Integer id, InteractivePetriNetL ipn, boolean isSilent)