public FireableTransition( TransitionDecl transition, PrimitiveRelationFrame executionContext, Memory memory) { this.executionContext = executionContext; this.transition = transition; List<ClockReference> clocks = transition.getVector(); vector = new int[clocks.size()]; int i = 0; for (ClockReference clk : clocks) { ClockValue value = (ClockValue) executionContext.lookup(clk.getRef(), memory); vector[i++] = value.getID(); } Arrays.sort(vector); }
public int getPrimitiveRelationID() { return executionContext.getPrimitiveID(); }