/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/interval/ |
H A D | interval.h | 147 void set_lower(interval & a, numeral const & n) { m_c.set_lower(a, n); } in set_lower() argument 148 void set_upper(interval & a, numeral const & n) { m_c.set_upper(a, n); } in set_upper() argument 196 bool is_P(interval const & n) const { return lower_is_pos(n) || lower_is_zero(n); } in is_P() argument 197 bool is_P0(interval const & n) const { return lower_is_zero(n) && !lower_is_open(n); } in is_P0() argument 198 …bool is_P1(interval const & n) const { return lower_is_pos(n) || (lower_is_zero(n) && lower_is_ope… in is_P1() argument 199 bool is_N(interval const & n) const { return upper_is_neg(n) || upper_is_zero(n); } in is_N() argument 200 bool is_N0(interval const & n) const { return upper_is_zero(n) && !upper_is_open(n); } in is_N0() argument 201 …bool is_N1(interval const & n) const { return upper_is_neg(n) || (upper_is_zero(n) && upper_is_ope… in is_N1() argument 202 bool is_M(interval const & n) const { return lower_is_neg(n) && upper_is_pos(n); } in is_M() argument 203 bool is_zero(interval const & n) const { return lower_is_zero(n) && upper_is_zero(n); } in is_zero() argument [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/math/interval/ |
H A D | interval.h | 147 void set_lower(interval & a, numeral const & n) { m_c.set_lower(a, n); } in set_lower() argument 148 void set_upper(interval & a, numeral const & n) { m_c.set_upper(a, n); } in set_upper() argument 196 bool is_P(interval const & n) const { return lower_is_pos(n) || lower_is_zero(n); } in is_P() argument 197 bool is_P0(interval const & n) const { return lower_is_zero(n) && !lower_is_open(n); } in is_P0() argument 198 …bool is_P1(interval const & n) const { return lower_is_pos(n) || (lower_is_zero(n) && lower_is_ope… in is_P1() argument 199 bool is_N(interval const & n) const { return upper_is_neg(n) || upper_is_zero(n); } in is_N() argument 200 bool is_N0(interval const & n) const { return upper_is_zero(n) && !upper_is_open(n); } in is_N0() argument 201 …bool is_N1(interval const & n) const { return upper_is_neg(n) || (upper_is_zero(n) && upper_is_ope… in is_N1() argument 202 bool is_M(interval const & n) const { return lower_is_neg(n) && upper_is_pos(n); } in is_M() argument 203 bool is_zero(interval const & n) const { return lower_is_zero(n) && upper_is_zero(n); } in is_zero() argument [all …]
|
/dports/audio/faust/faust-2.37.3/compiler/signals/ |
H A D | interval.hh | 61 interval(double n) : valid(true), lo(n), hi(n) in interval() function 63 if (std::isnan(n)) { in interval() 67 interval(bool v, double n, double m) : valid(v), lo(n), hi(m) in interval() function 69 if (std::isnan(n) || std::isnan(m)) { in interval() 73 interval(double n, double m) : valid(true), lo(min(n, m)), hi(max(n, m)) in interval() function 86 int n = int(hi); in ispowerof2() local 87 return isconst() && ((n & (-n)) == n); in ispowerof2() 91 int n = int(hi) + 1; in isbitmask() local 92 return isconst() && ((n & (-n)) == n); in isbitmask() 318 interval n = iint(x / y); in fmod() local [all …]
|
/dports/www/mod_php81/php-8.1.1/ext/date/tests/ |
H A D | DateInterval_format.phpt | 18 echo $interval->format('Y=%Y') . "\n"; 19 echo $interval->format('M=%M') . "\n"; 20 echo $interval->format('D=%D') . "\n"; 21 echo $interval->format('H=%H') . "\n"; 22 echo $interval->format('I=%I') . "\n"; 23 echo $interval->format('S=%S') . "\n"; 24 echo $interval->format('R=%R') . "\n"; 26 echo $interval->format('y=%y') . "\n"; 27 echo $interval->format('m=%m') . "\n"; 28 echo $interval->format('d=%d') . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type1.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type2.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
/dports/lang/php81/php-8.1.1/ext/date/tests/ |
H A D | DateInterval_format.phpt | 18 echo $interval->format('Y=%Y') . "\n"; 19 echo $interval->format('M=%M') . "\n"; 20 echo $interval->format('D=%D') . "\n"; 21 echo $interval->format('H=%H') . "\n"; 22 echo $interval->format('I=%I') . "\n"; 23 echo $interval->format('S=%S') . "\n"; 24 echo $interval->format('R=%R') . "\n"; 26 echo $interval->format('y=%y') . "\n"; 27 echo $interval->format('m=%m') . "\n"; 28 echo $interval->format('d=%d') . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type1.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type2.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
/dports/lang/php73/php-7.3.33/ext/date/tests/ |
H A D | DateInterval_format.phpt | 20 echo $interval->format('Y=%Y') . "\n"; 21 echo $interval->format('M=%M') . "\n"; 22 echo $interval->format('D=%D') . "\n"; 23 echo $interval->format('H=%H') . "\n"; 24 echo $interval->format('I=%I') . "\n"; 25 echo $interval->format('S=%S') . "\n"; 26 echo $interval->format('R=%R') . "\n"; 28 echo $interval->format('y=%y') . "\n"; 29 echo $interval->format('m=%m') . "\n"; 30 echo $interval->format('d=%d') . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type1.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type2.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
/dports/lang/php80/php-8.0.15/ext/date/tests/ |
H A D | DateInterval_format.phpt | 20 echo $interval->format('Y=%Y') . "\n"; 21 echo $interval->format('M=%M') . "\n"; 22 echo $interval->format('D=%D') . "\n"; 23 echo $interval->format('H=%H') . "\n"; 24 echo $interval->format('I=%I') . "\n"; 25 echo $interval->format('S=%S') . "\n"; 26 echo $interval->format('R=%R') . "\n"; 28 echo $interval->format('y=%y') . "\n"; 29 echo $interval->format('m=%m') . "\n"; 30 echo $interval->format('d=%d') . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type1.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type2.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
/dports/lang/php74/php-7.4.27/ext/date/tests/ |
H A D | DateInterval_format.phpt | 20 echo $interval->format('Y=%Y') . "\n"; 21 echo $interval->format('M=%M') . "\n"; 22 echo $interval->format('D=%D') . "\n"; 23 echo $interval->format('H=%H') . "\n"; 24 echo $interval->format('I=%I') . "\n"; 25 echo $interval->format('S=%S') . "\n"; 26 echo $interval->format('R=%R') . "\n"; 28 echo $interval->format('y=%y') . "\n"; 29 echo $interval->format('m=%m') . "\n"; 30 echo $interval->format('d=%d') . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type1.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type2.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
/dports/www/mod_php80/php-8.0.15/ext/date/tests/ |
H A D | DateInterval_format.phpt | 20 echo $interval->format('Y=%Y') . "\n"; 21 echo $interval->format('M=%M') . "\n"; 22 echo $interval->format('D=%D') . "\n"; 23 echo $interval->format('H=%H') . "\n"; 24 echo $interval->format('I=%I') . "\n"; 25 echo $interval->format('S=%S') . "\n"; 26 echo $interval->format('R=%R') . "\n"; 28 echo $interval->format('y=%y') . "\n"; 29 echo $interval->format('m=%m') . "\n"; 30 echo $interval->format('d=%d') . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type1.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
/dports/www/mod_php74/php-7.4.27/ext/date/tests/ |
H A D | DateInterval_format.phpt | 20 echo $interval->format('Y=%Y') . "\n"; 21 echo $interval->format('M=%M') . "\n"; 22 echo $interval->format('D=%D') . "\n"; 23 echo $interval->format('H=%H') . "\n"; 24 echo $interval->format('I=%I') . "\n"; 25 echo $interval->format('S=%S') . "\n"; 26 echo $interval->format('R=%R') . "\n"; 28 echo $interval->format('y=%y') . "\n"; 29 echo $interval->format('m=%m') . "\n"; 30 echo $interval->format('d=%d') . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type1.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
/dports/www/mod_php73/php-7.3.33/ext/date/tests/ |
H A D | DateInterval_format.phpt | 20 echo $interval->format('Y=%Y') . "\n"; 21 echo $interval->format('M=%M') . "\n"; 22 echo $interval->format('D=%D') . "\n"; 23 echo $interval->format('H=%H') . "\n"; 24 echo $interval->format('I=%I') . "\n"; 25 echo $interval->format('S=%S') . "\n"; 26 echo $interval->format('R=%R') . "\n"; 28 echo $interval->format('y=%y') . "\n"; 29 echo $interval->format('m=%m') . "\n"; 30 echo $interval->format('d=%d') . "\n"; [all …]
|
H A D | rfc-datetime_and_daylight_saving_time-type1.phpt | 61 . $start->add($interval)->format($date_format) . "\n"; 67 . $start->add($interval)->format($date_format) . "\n"; 73 . $start->add($interval)->format($date_format) . "\n"; 79 . $start->add($interval)->format($date_format) . "\n"; 103 . $end->sub($interval)->format($date_format) . "\n"; 109 . $end->sub($interval)->format($date_format) . "\n"; 115 . $end->sub($interval)->format($date_format) . "\n"; 121 . $end->sub($interval)->format($date_format) . "\n"; 127 . $end->sub($interval)->format($date_format) . "\n"; 133 . $end->sub($interval)->format($date_format) . "\n"; [all …]
|
/dports/math/dune-grid/dune-grid-de36e4b4e99da4cd7a120a39779345e701821115/dune/grid/io/file/dgfparser/blocks/ |
H A D | interval.hh | 36 assert( size == int(interval.n.size()) ); in copy() 41 n[ i ] = interval.n[ map[ i ] ]; in copy() 98 int n = 1; in nofvtx() local 100 n *= (interval.n[ i ] + 1); in nofvtx() 101 return n; in nofvtx() 109 n *= interval.n[ i ]; in nofhexa() 110 return n; in nofhexa() 123 if( interval.p[ 0 ].empty() || interval.p[ 1 ].empty() || interval.n.empty() ) in operator <<() 132 out << "), n = (" << interval.n[ 0 ]; in operator <<() 133 for( size_t i = 1; i < interval.n.size(); ++i ) in operator <<() [all …]
|