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

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

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

Methods in org.processmining.exporting.petrinet.cpnexport that return IntegerColorSet
 IntegerColorSet HLToCPNTranslator.getColorSetCaseID()
          Returns the cpn color set representation for the case id.
 

Methods in org.processmining.exporting.petrinet.cpnexport with parameters of type IntegerColorSet
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.