public class VizToPnetMapper
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean |
log |
Constructor and Description |
---|
VizToPnetMapper() |
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,
InteractivePetriNet ipn,
int newTranID,
boolean isSilent) |
static void |
addNewTransition(int node1ID,
int node2ID,
java.lang.String newTransStr,
java.lang.String newPlaceStr,
InteractivePetriNet ipn,
boolean placeToTran,
int newPlaceID,
int 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,
InteractivePetriNet ipn,
boolean placeToTran,
int newPlaceID,
int newTranID,
boolean isSilent) |
static void |
addParallelPlace(java.util.Set<java.lang.Integer> selectedInput,
java.util.Set<java.lang.Integer> outputNodeID,
java.lang.String newPlaceStr,
InteractivePetriNet ipn,
int newPlaceID) |
static void |
changeActivityName(java.lang.Integer id,
InteractivePetriNet ipn,
boolean isSilent) |
static void |
print() |
public static void print()
public static void addNewTransition(int node1ID, int node2ID, java.lang.String newTransStr, java.lang.String newPlaceStr, InteractivePetriNet ipn, boolean placeToTran, int newPlaceID, int 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, InteractivePetriNet ipn, int newPlaceID)
public static void addChoiceTransition(java.util.Set<java.lang.Integer> inputNodeID, java.util.Set<java.lang.Integer> outputNodeID, java.lang.String activity, InteractivePetriNet ipn, int 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, InteractivePetriNet ipn, boolean placeToTran, int newPlaceID, int newTranID, boolean isSilent)
public static void changeActivityName(java.lang.Integer id, InteractivePetriNet ipn, boolean isSilent)