Class UnWiringMatrix
- java.lang.Object
-
- org.processmining.specpp.datastructures.tree.nodegen.WiringMatrix
-
- org.processmining.specpp.datastructures.tree.nodegen.UnWiringMatrix
-
- All Implemented Interfaces:
ExpansionStopper,PotentialExpansionsFilter,WiringTester
public class UnWiringMatrix extends WiringMatrix
-
-
Field Summary
Fields Modifier and Type Field Description protected java.util.Set<Place>wiredPlaces
-
Constructor Summary
Constructors Constructor Description UnWiringMatrix(IntEncodings<Transition> transitionEncodings)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidunwire(Place place)voidwire(Place place)-
Methods inherited from class org.processmining.specpp.datastructures.tree.nodegen.WiringMatrix
filterPotentialSetExpansions, isWired, reset, toString
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.processmining.specpp.datastructures.tree.nodegen.WiringTester
notAllowedToExpand
-
-
-
-
Field Detail
-
wiredPlaces
protected final java.util.Set<Place> wiredPlaces
-
-
Constructor Detail
-
UnWiringMatrix
public UnWiringMatrix(IntEncodings<Transition> transitionEncodings)
-
-
Method Detail
-
wire
public void wire(Place place)
- Specified by:
wirein interfaceWiringTester- Overrides:
wirein classWiringMatrix
-
unwire
public void unwire(Place place)
- Specified by:
unwirein interfaceWiringTester- Overrides:
unwirein classWiringMatrix
-
-