Searched refs:opval1 (Results 1 – 2 of 2) sorted by relevance
141 unsigned opval1; member1282 precond->opval1 = 0;1534 op1->operand_num, precond->opval1);
160 unsigned opval1; member1226 precond->opval1 = 0; in parse_precond()1701 op2->operand_num, precond->opval1); in build_transition()