Searched defs:precond (Results 1 – 4 of 4) sorted by relevance
55 Precondition *precond; member
1253 parse_precond (const char *s, precond_e *precond) in parse_precond()1636 precond_e *precond; in build_transition() local
1257 parse_precond (const char *s, precond_e *precond) in parse_precond()1640 precond_e *precond; in build_transition() local