8687888990919293949596
public void addOrder(Action first, Action second, Proposition p) { if (first instanceof SplitInstantAction) { SplitInstantAction sa = (SplitInstantAction) first; if (!sa.exclusivelyInvariant(p)) { addEqualOrdering(first, second); return; }
979899100101102103104105106107
} if (second instanceof SplitInstantAction) { SplitInstantAction sa = (SplitInstantAction) second; if (!sa.exclusivelyInvariant(p)) { addEqualOrdering(first, second); return; } }