public class ModelRepair_Simple
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Comparator<hub.top.uma.DNode> |
dnode_id_comparator |
Constructor and Description |
---|
ModelRepair_Simple(hub.top.uma.DNodeRefold build)
Standard constructor for view generation.
|
Modifier and Type | Method and Description |
---|---|
static hub.top.uma.DNodeRefold |
getInitialUnfolding(hub.top.petrinet.ISystemModel sysModel) |
java.util.Map<java.lang.String,java.util.List<java.util.Set<hub.top.petrinet.Place>>> |
getLocationsForExtension() |
static void |
main(java.lang.String[] args) |
void |
repairModel(java.lang.String systemFile,
hub.top.petrinet.PetriNet sysModel,
java.util.Collection<java.lang.String[]> traces,
java.util.Map<java.lang.String,java.lang.String> e2t) |
public ModelRepair_Simple(hub.top.uma.DNodeRefold build)
DNodeBP
after the branching process has
been constructed.build
- public java.util.Map<java.lang.String,java.util.List<java.util.Set<hub.top.petrinet.Place>>> getLocationsForExtension()
public static hub.top.uma.DNodeRefold getInitialUnfolding(hub.top.petrinet.ISystemModel sysModel) throws hub.top.uma.InvalidModelException
hub.top.uma.InvalidModelException
public void repairModel(java.lang.String systemFile, hub.top.petrinet.PetriNet sysModel, java.util.Collection<java.lang.String[]> traces, java.util.Map<java.lang.String,java.lang.String> e2t) throws hub.top.uma.InvalidModelException, java.io.IOException
hub.top.uma.InvalidModelException
java.io.IOException
public static void main(java.lang.String[] args)