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