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 -