Searched refs:Precondition (Results 1 – 11 of 11) sorted by relevance
34 typedef struct precondition Precondition; typedef50 Precondition *precond;
394 PARAMS ((TransitionRule *, Precondition *));541 Precondition *cond;572 Precondition *cond = (Precondition *) xmalloc (sizeof (Precondition));589 Precondition *cond = (Precondition *) xmalloc (sizeof (Precondition));
3447 Precondition *cond = condition_l->precond;
34 typedef struct precondition Precondition; typedef55 Precondition *precond;
518 append_condition (TransitionRule *tr, Precondition *cond) in append_condition()548 Precondition *cond = (Precondition *) xmalloc (sizeof (Precondition)); in append_value_condition()564 Precondition *cond = (Precondition *) xmalloc (sizeof (Precondition)); in append_constant_value_condition()
2784 Precondition *cond = condition_l->precond; in xg_instruction_matches_rule()
210 // Precondition: __n > 0211 // Precondition: size() + __n <= capacity()226 // Precondition: __n > 0227 // Precondition: size() + __n <= capacity()
681 // Precondition: __begin_ == __end_ == __end_cap() == 0682 // Precondition: __n > 0971 // Precondition: __new_size > capacity()989 // Precondition: __n > 0990 // Precondition: size() + __n <= capacity()1006 // Precondition: __n > 01007 // Precondition: size() + __n <= capacity()2335 // Precondition: __begin_ == __end_ == __cap() == 02336 // Precondition: __n > 02457 // Precondition: __new_size > capacity()[all …]
99 // Precondition: __x != nullptr.296 // Precondition: __x has no children.367 // Precondition: __z == __root or == a direct or indirect child of __root.1577 // Precondition: size() != 01595 // Precondition: __cache != nullptr
1657 // Precondition: __n >= 1
2337 *Precondition:* ``value`` is null or a pointer to a valid object.2350 *Precondition:* ``pool`` is the result of a previous call to2378 *Precondition:* ``value`` is null or a pointer to a valid object.2396 *Precondition:* ``src`` is a valid pointer which either contains a null pointer2416 *Precondition:* ``object`` is a valid pointer which either contains a null2436 *Precondition:* ``object`` is a valid pointer which has not been registered as2461 *Precondition:* ``object`` is a valid pointer which either contains a null2487 *Precondition:* ``object`` is a valid pointer which either contains a null2501 *Precondition:* ``src`` is a valid pointer which either contains a null pointer2517 *Precondition:* ``value`` is null or a pointer to a valid object.[all …]