Lines Matching defs:_vars
90 ArgumentMap *_vars;
409 state.apush(state._vars[s.get_index()]);
436 state.apush(state._vars[0]);
439 state.apush(state._vars[1]);
442 state.apush(state._vars[2]);
445 state.apush(state._vars[3]);
495 state._vars[s.get_index()] = state.apop();
498 state._vars[0] = state.apop();
501 state._vars[1] = state.apop();
504 state._vars[2] = state.apop();
507 state._vars[3] = state.apop();
992 d_state->_vars[i] = s_state->_vars[i];
1005 d_state->_vars[i].set_union(s_state->_vars[i]);
1020 t = s_state->_vars[i];
1021 t.set_difference(d_state->_vars[i]);
1026 //extra_vars |= !d_state->_vars[i] & s_state->_vars[i];
1048 state._vars = dp;
1055 blockstates[i]._vars = dp;
1076 blockstates[fb_i]._vars[j].set(j);
1083 blockstates[fb_i]._vars[j].set(j);
1102 state._vars[i] = allVars;
1115 state._vars[i] = blkState->_vars[i];