public interface AcceptingPetriNetArray
Modifier and Type | Method and Description |
---|---|
int |
addNet(AcceptingPetriNet net)
Adds the given net to the array.
|
void |
addNet(int index,
AcceptingPetriNet net)
Adds the given net at the given index in the array.
|
void |
exportToFile(org.processmining.framework.plugin.PluginContext context,
java.io.File file) |
AcceptingPetriNet |
getNet(int index)
Returns the net at the given index
|
int |
getSize() |
void |
importFromStream(org.processmining.framework.plugin.PluginContext context,
java.io.InputStream input,
java.lang.String parent) |
void |
init()
Initializes the array.
|
int |
removeNet(AcceptingPetriNet net)
Removes the first occurrence of the given net from the array.
|
void |
removeNet(int index)
Removes the net from the given index from the array, if valid.
|
void init()
int addNet(AcceptingPetriNet net)
net
- The given net.int removeNet(AcceptingPetriNet net)
net
- The given net.void addNet(int index, AcceptingPetriNet net)
index
- The given index.net
- The given net.void removeNet(int index)
index
- The given index.AcceptingPetriNet getNet(int index)
index
- The given index.int getSize()
void importFromStream(org.processmining.framework.plugin.PluginContext context, java.io.InputStream input, java.lang.String parent) throws java.lang.Exception
java.lang.Exception
void exportToFile(org.processmining.framework.plugin.PluginContext context, java.io.File file) throws java.io.IOException
java.io.IOException