|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |