Searched refs:offender (Results 1 – 2 of 2) sorted by relevance
228 state_transition_t **offender);230 indrule_t *indrp, ind_action_t **offender);
546 check_indrules(indrule_t *indrp, state_transition_t **offender) in check_indrules() argument563 *offender = &indrp->strans; in check_indrules()582 ind_action_t **offender) in check_consistent_ind_indrules() argument621 *offender = alp; in check_consistent_ind_indrules()