public class DeleteUsingReduction
extends java.lang.Object
Constructor and Description |
---|
DeleteUsingReduction() |
Modifier and Type | Method and Description |
---|---|
static ReductionTracker.Rule |
delete(int nodeid1,
boolean tran,
InteractivePetriNet ipn)
Try deleting the node using reduce either of the three rules
|
public static ReductionTracker.Rule delete(int nodeid1, boolean tran, InteractivePetriNet ipn)
nodeid1
- - Place - reduce using LDP, Tran - reduce using LDT or ABS
ruletran
- ipn
-