Lines Matching full:calls

71   // calls allowed.
75   // Returns true if and only if call_count calls will satisfy this
79   // Returns true if and only if call_count calls will saturate this
101   // calls allowed.
105   // Returns true if and only if call_count calls will satisfy this
111   // Returns true if and only if call_count calls will saturate this
117   // Returns true if and only if call_count calls will over-saturate this
118   // cardinality, i.e. exceed the maximum number of allowed calls.
135 // Creates a cardinality that allows at least n calls.
138 // Creates a cardinality that allows at most n calls.
141 // Creates a cardinality that allows any number of calls.
144 // Creates a cardinality that allows between min and max calls.
147 // Creates a cardinality that allows exactly n calls.