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