public class PrevReal extends Instruction
ABS_I, ABS_R, ADD_II, ADD_IR, ADD_RI, ADD_RR, APPLY_COLL_I, APPLY_COLL_O, APPLY_COLL_R, APPLY_FHOM_I, APPLY_FHOM_O, APPLY_FHOM_R, APPLY_HOM_I, APPLY_HOM_O, APPLY_HOM_R, APPLY_IP_FHOM_I, APPLY_IP_FHOM_O, APPLY_IP_FHOM_R, APPLY_IP_HOM_I, APPLY_IP_HOM_O, APPLY_IP_HOM_R, ARRAY_INITIALIZE, ARRAY_SIZE, ARRAY_TO_MAP_I, ARRAY_TO_MAP_O, ARRAY_TO_MAP_R, BELONGS_I, BELONGS_O, BELONGS_R, CHECK_ARRAY_SIZE, D_INTER_1, D_INTER_2, D_SDIFF, D_UNION_1, D_UNION_2, D_XNION_1, D_XNION_2, DIV_II, DIV_IR, DIV_RI, DIV_RR, DUMMY_AND, DUMMY_BELONGS, DUMMY_EQU, DUMMY_FIRST, DUMMY_LAST, DUMMY_NEQ, DUMMY_NEXT, DUMMY_NEXT_C, DUMMY_NEXT_C_OFFSET, DUMMY_NEXT_OFFSET, DUMMY_OR, DUMMY_ORD, DUMMY_PREV, DUMMY_PREV_C, DUMMY_PREV_C_OFFSET, DUMMY_PREV_OFFSET, DUMMY_SET_ADD, DUMMY_SET_RMV, DUMMY_SIZE, DUMMY_STRCON, DUMMY_WRITE, END, EQU_II, EQU_OO, EQU_RR, FILL_ARRAY_IA, FILL_ARRAY_IM, FILL_ARRAY_OA, FILL_ARRAY_OM, FILL_ARRAY_RA, FILL_ARRAY_RM, FILL_MAP_IA, FILL_MAP_IM, FILL_MAP_OA, FILL_MAP_OM, FILL_MAP_RA, FILL_MAP_RM, FIRST_I, FIRST_O, FIRST_R, GET_ARRAY_I, GET_ARRAY_O, GET_ARRAY_R, GET_INDEXABLE, GET_INT_INDEXED_MAP_I, GET_INT_INDEXED_MAP_O, GET_INT_INDEXED_MAP_R, GET_MAP_I, GET_MAP_O, GET_MAP_R, GRT_II, GRT_IR, GRT_RI, GRT_RR, GTE_II, GTE_IR, GTE_RI, GTE_RR, I_TO_O, I_TO_R, INDEXABLE_SIZE, INT_RNG_LB, INT_RNG_UB, INTER, LAST_I, LAST_O, LAST_R, LST_II, LST_IR, LST_RI, LST_RR, LTE_II, LTE_IR, LTE_RI, LTE_RR, MAKE_ARRAY_I, MAKE_ARRAY_O, MAKE_ARRAY_R, MAKE_MAP_I, MAKE_MAP_O, MAKE_MAP_R, MAKE_SET_I, MAKE_SET_O, MAKE_SET_R, MAP_SIZE, MAP_TO_ARRAY, MAX_II, MAX_IR, MAX_RI, MAX_RR, MIN_II, MIN_IR, MIN_RI, MIN_RR, MINUS_I, MINUS_R, MODULO, MUL_II, MUL_IR, MUL_RI, MUL_RR, NEQ_II, NEQ_OO, NEQ_RR, NEXT_C_I, NEXT_C_I_OFFSET, NEXT_C_O, NEXT_C_O_OFFSET, NEXT_C_R, NEXT_C_R_OFFSET, NEXT_I, NEXT_I_OFFSET, NEXT_O, NEXT_O_OFFSET, NEXT_R, NEXT_R_OFFSET, NL_RETURN_I, NL_RETURN_O, NL_RETURN_R, NL_RETURN_VOID, NO_OP, NOT, O_TO_I, O_TO_R, ORD_I, ORD_O, ORD_R, POP_I, POP_O, POP_R, POWER, PREV_C_I, PREV_C_I_OFFSET, PREV_C_O, PREV_C_O_OFFSET, PREV_C_R, PREV_C_R_OFFSET, PREV_I, PREV_I_OFFSET, PREV_O, PREV_O_OFFSET, PREV_R, PREV_R_OFFSET, PUSH_0_I, PUSH_0_R, PUSH_1_I, PUSH_ARRAY_I, PUSH_ARRAY_O, PUSH_ARRAY_R, PUSH_BOXED_FALSE, PUSH_BOXED_TRUE, PUSH_BOXED_VOID, PUSH_EMPTY_STR, PUSH_FALSE, PUSH_INT_RNG, PUSH_MAP_I, PUSH_MAP_O, PUSH_MAP_R, PUSH_NULL, PUSH_ONE, PUSH_REAL_RNG, PUSH_SET_I, PUSH_SET_O, PUSH_SET_R, PUSH_TRUE, PUSH_VOID, PUSH_ZERO_I, PUSH_ZERO_R, R_TO_I, R_TO_O, RANDOM, REAL_RNG_LB, REAL_RNG_UB, RECONCILE_INDEXABLES, RETURN_I, RETURN_O, RETURN_R, RETURN_VOID, SDIFF, SET_ADD_I, SET_ADD_O, SET_ADD_R, SET_ARRAY_I, SET_ARRAY_O, SET_ARRAY_R, SET_COPY, SET_INT_INDEXED_MAP_I, SET_INT_INDEXED_MAP_O, SET_INT_INDEXED_MAP_R, SET_MAP_I, SET_MAP_O, SET_MAP_R, SET_RMV_I, SET_RMV_O, SET_RMV_R, SHUFFLE_MAP_I, SHUFFLE_MAP_O, SHUFFLE_MAP_R, SQRT, STOP, STOP_ON_FALSE, SUB_II, SUB_IR, SUB_RI, SUB_RR, SUBSET, UNION, WRITE_R, XNION| Constructor | Description |
|---|---|
PrevReal() |
| Modifier and Type | Method | Description |
|---|---|---|
void |
execute(Runtime r) |
Execute this instruction in the specified runtime by changing the
runtime's state according to this instruction's operational semantics.
|
public final void execute(Runtime r)
Instructionexecute in class Instruction