Uses of Class
org.processmining.exporting.petrinet.cpnexport.ManagerID

Packages that use ManagerID
org.processmining.exporting.petrinet.cpnexport   
 

Uses of ManagerID in org.processmining.exporting.petrinet.cpnexport
 

Methods in org.processmining.exporting.petrinet.cpnexport that return ManagerID
 ManagerID ColoredPetriNet.getIDManager()
          Returns the idManager of this model.
 

Methods in org.processmining.exporting.petrinet.cpnexport with parameters of type ManagerID
 void ColoredPetriNet.generateCpnIDs(ManagerID idManager)
          Generates an unique cpnID for all places and all transitions in this model.
 void ColoredPetriNet.setIDManager(ManagerID idMan)
          Sets the idManager for this model.
abstract  void CpnColorSet.write(java.io.BufferedWriter bw, ManagerID idMan)
          This method needs to be implemented, so that each colorset can write itself to the cpn-file (for the declarations part).
 void EnumeratedColorSet.write(java.io.BufferedWriter bw, ManagerID idMan)
          Writes the colorset to the CPN file (declarations part).
 void IntegerColorSet.write(java.io.BufferedWriter bw, ManagerID idMan)
           
 void ProductColorSet.write(java.io.BufferedWriter bw, ManagerID idMan)
           
 void RecordColorSet.write(java.io.BufferedWriter bw, ManagerID idMan)
           
 void StringColorSet.write(java.io.BufferedWriter bw, ManagerID idMan)
           
 void SubSetColorSet.write(java.io.BufferedWriter bw, ManagerID idMan)
           
static void ManagerXml.writeArcTag(java.io.BufferedWriter bw, ManagerID idMan, java.lang.String orientation, java.lang.String transEnd, java.lang.String placeEnd, int xPos, int yPos, java.lang.String inscription, java.util.ArrayList bendpoints)
          Writes a complete arc tag in the CPN Tools format.
static void ManagerXml.writeBeginMonitorForFunction(java.io.BufferedWriter bw, ManagerID idMan, java.lang.String nameMonitor, java.lang.String nodeidref, java.util.ArrayList<java.lang.String> pageinstanceidrefs)
          Writes information that is needed for creating a monitor for a function in cpn-tools.
static void ManagerXml.writeControlFlowDec(java.io.BufferedWriter bw, ManagerID idMan, org.processmining.exporting.petrinet.cpnexport.CpnVarAndType cpnVarForCaseId, IntegerColorSet colorSetForCaseId, boolean timed)
          Writes the block for the control flow declarations in the cpn-file.
static void ManagerXml.writeDataDec(java.io.BufferedWriter bw, ManagerID idMan, java.util.List<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> cpnVarsDataAttr, CpnColorSet colorSetDataAttr, java.util.List<CpnColorSet> colorSetsSepDatAttr)
          Writes the block for the data declarations in the cpn-file
static void ManagerXml.writeFusionPlaces(java.io.BufferedWriter bw, ManagerID idMan, java.util.HashMap<java.lang.String,java.util.HashSet> fusionPlaces)
           
static void ManagerXml.writeLogDeclarations(java.io.BufferedWriter bw, ManagerID idMan, int offset, HighLevelProcess.TimeUnit timeunit)
          Writes the block for the log declarations in the cpn-file.
static void ManagerXml.writeMarkingSizeMonitorResources(java.io.BufferedWriter bw, ManagerID idMan, java.util.HashMap<java.lang.String,java.util.ArrayList> infoForMonitoringResources)
          Writes the monitor for keeping track of the resources in the global resources place.
static void ManagerXml.writeMonitorActionFunctionForInit(java.io.BufferedWriter bw, ManagerID idMan)
          Writes the action function for the monitor of the initialisation transition that will be used for creating separate files for each case that enters the net.
static void ManagerXml.writeMonitorActionFunctionNormal(java.io.BufferedWriter bw, ManagerID idMan, java.lang.String nameTransition, java.lang.String eventType, java.lang.String cpnTypeOfCaseId, java.lang.String cpnTypeOfOriginator, java.lang.String cpnTypeOfDataVar, java.util.HashMap nameDataAttrAndType)
          Writes the action function for the monitor (of a transition) that is used for the logging functionality in cpn-tools.
static void ManagerXml.writeMonitorInitFunction(java.io.BufferedWriter bw, ManagerID idMan)
          Writes the init function for the monitor (of a transition) that is used for the logging functionality in cpn-tools.
static void ManagerXml.writeMonitorInitFunctionForFolderGeneration(java.io.BufferedWriter bw, ManagerID idMan)
          Writes the init function for generating the logs folder in which the logs need to be stored.
static void ManagerXml.writeMonitorObserverFunction(java.io.BufferedWriter bw, ManagerID idMan, java.lang.String namePage, java.lang.String nameTransition, java.util.ArrayList<java.lang.String> boundedVars, java.util.ArrayList<java.lang.String> valuesTrue, java.util.ArrayList<java.lang.String> valuesFalse, int numberInstantiations)
          Writes the observer function for the monitor (of a transition) that is used for the logging functionality in cpn-tools.
static void ManagerXml.writeMonitorPredicateFunction(java.io.BufferedWriter bw, ManagerID idMan, java.lang.String namePage, java.lang.String nameTransition, java.util.ArrayList<java.lang.String> boundedVars, int numberInstantiations)
          Writes the predicate function for the monitor (of a transition) that is used for the logging functionality in cpn-tools.
static void ManagerXml.writeMonitorStopFunctionAndEndMonitor(java.io.BufferedWriter bw, ManagerID idMan)
          Writes the stop function for the monitor (of a transition) that is used for the logging functionality in cpn-tools.
static void ManagerXml.writePlaceTag(java.io.BufferedWriter bw, java.lang.String placeID, ManagerID idMan, int xPos, int yPos, java.lang.String label, int width, int height, java.lang.String placeType, java.lang.String initMark, java.lang.String portType, java.lang.String nameFusionPlace)
          Writes a complete place tag in the CPN Tools format.
static void ManagerXml.writePossibilityDependencies(java.io.BufferedWriter bw, ManagerID idMan, java.util.HashSet<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> probDeps)
          Write information about the possibility dependencies to the cpn-file.
static void ManagerXml.writeProductColorSetsForPlaces(java.io.BufferedWriter bw, ManagerID idMan, java.util.Set<ProductColorSet> productColorSetsForPlaces, boolean timed)
          Writes the product color set declarations that are needed for some places in the cpn model.
static void ManagerXml.writeRandomValuesFunctions(java.io.BufferedWriter bw, ManagerID idMan, java.util.ArrayList<org.processmining.exporting.petrinet.cpnexport.CpnFunction> numericTypeDataAttrCpnFunc)
          Writes the functions that generate random values which are needed for some data attributes
static void ManagerXml.writeResourceDec(java.io.BufferedWriter bw, ManagerID idMan, java.util.List<org.processmining.exporting.petrinet.cpnexport.CpnVarAndType> cpnVarsGroups, java.util.List<SubSetColorSet> colorSetsGroups)
          Writes the block for the group and the resources declarations in the cpn-file
static void ManagerXml.writeStandDecl(java.io.BufferedWriter bw, ManagerID idMan)
          Writes the block for the standard declarations in the cpn-file.
static void ManagerXml.writeStartCase(java.io.BufferedWriter bw, ManagerID idMan, org.processmining.exporting.petrinet.cpnexport.CpnVarAndType cpnVarForStartCase, StringColorSet colorSetStartCase)
           
static void ManagerXml.writeThroughputTimeMonitor(java.io.BufferedWriter bw, ManagerID idMan, java.lang.String cpnID, java.util.ArrayList<java.lang.String> pageInstanceIdRefs, java.lang.String dataVar)
          Writes the monitor for calculating the throughput time to the cpn file
static void ManagerXml.writeTransitionTag(java.io.BufferedWriter bw, java.lang.String transitionID, ManagerID idMan, int xPos, int yPos, java.lang.String label, int width, int height, java.lang.String guard, java.lang.String timeDelay, java.lang.String codeInscription, java.lang.String subpageID, java.lang.String subpageTagName, java.util.ArrayList portsToSockets, boolean isInvisibleTask)
          Writes a complete transition tag in the CPN Tools format.