Searched refs:atid_postcond (Results 1 – 3 of 3) sorted by relevance
75 atid_postcond, enumerator
51 EV_AtTagId(atid_postcond, "Postcondition" );
70 DYN TextToken * TCF_atstd_postcond(const char * ) { return new Tok_at_std(ary::info::atid_postcond)… in TCF_atstd_postcond()
Completed in 15 milliseconds