public class CPNPageStripper
extends java.lang.Object
Constructor and Description |
---|
CPNPageStripper(org.cpntools.accesscpn.model.PetriNet net) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
convertToStringWithoutPages(org.cpntools.accesscpn.engine.highlevel.instance.Instance<org.cpntools.accesscpn.model.Transition> transition) |