Searched refs:append_value_condition (Results 1 – 2 of 2) sorted by relevance
579 append_value_condition (TransitionRule *tr, in append_value_condition() function1642 append_value_condition (tr, OP_EQUAL, in build_transition()1696 append_value_condition (tr, precond->cmpop, in build_transition()
1269 (append_value_condition): Likewise.