Interface WriteOperationMiner
-
- All Known Implementing Classes:
AllWriteOperationMiner
public interface WriteOperationMiner
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description StochasticLabelledDataPetriNetextendWithWrites(StochasticLabelledDataPetriNet net)
-
-
-
Method Detail
-
extendWithWrites
StochasticLabelledDataPetriNet extendWithWrites(StochasticLabelledDataPetriNet net)
-
-