Searched refs:interval_term (Results 1 – 3 of 3) sorted by relevance
668 interval_term(const Parma_Polyhedra_Library::Rational_Box::interval_type& i);
1661 interval_term(const Rational_Box::interval_type& i) { in interval_term() function
28118 In ppl_prolog_common.icc, in interval_term(), the upper bound