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();
}
