Searched refs:Precondition (Results 1 – 3 of 3) sorted by relevance
34 typedef struct precondition Precondition; typedef55 Precondition *precond;
555 append_condition (TransitionRule *tr, Precondition *cond) in append_condition()585 Precondition *cond = (Precondition *) xmalloc (sizeof (Precondition)); in append_value_condition()601 Precondition *cond = (Precondition *) xmalloc (sizeof (Precondition)); in append_constant_value_condition()
2855 Precondition *cond = condition_l->precond; in xg_instruction_matches_rule()