Searched refs:Precondition (Results 1 – 8 of 8) sorted by relevance
34 typedef struct precondition Precondition; typedef55 Precondition *precond;
584 append_condition (TransitionRule *tr, Precondition *cond) in append_condition()613 Precondition *cond = XNEW (Precondition); in append_value_condition()629 Precondition *cond = XNEW (Precondition); in append_constant_value_condition()
2948 Precondition *cond = condition_l->precond; in xg_instruction_matches_rule()
539 // Precondition: __max_depth != 0596 // Precondition: _M_frames == nullptr && __n != 0647 // Precondition: __n <= _M_size674 // Precondition: _M_size != 0681 // Precondition: _M_size != 0 || __extra != 0691 // Precondition: _M_capacity >= __other._M_size
214 // Precondition: calling thread holds the lock.
862 // Precondition: this->_M_has_value && !__rhs._M_has_value
33 412 SERVER Precondition Failed
34 412 SERVER Precondition Failed