Searched defs:num_use_positions (Results 1 – 10 of 10) sorted by relevance
551 int num_use_positions() const { return _use_pos_and_kinds.length() / 2; } in num_use_positions() function in Interval
550 int num_use_positions() const { return _use_pos_and_kinds.length() / 2; } in num_use_positions() function in Interval
556 int num_use_positions() const { return _use_pos_and_kinds.length() / 2; } in num_use_positions() function in Interval
558 int num_use_positions() const { return _use_pos_and_kinds.length() / 2; } in num_use_positions() function in Interval
552 int num_use_positions() const { return _use_pos_and_kinds.length() / 2; } in num_use_positions() function in Interval
562 int num_use_positions() const { return _use_pos_and_kinds.length() / 2; } in num_use_positions() function in Interval