Home
last modified time | relevance | path

Searched +refs:n +refs:interval (Results 1 – 25 of 32412) sorted by relevance

12345678910>>...1297

/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/interval/
H A Dinterval.h147 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 Dinterval.h147 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 Dinterval.hh61 interval(double n) : valid(true), lo(n), hi(n) in interval() argument
63 if (std::isnan(n)) { in interval()
67 interval(bool v, double n, double m) : valid(v), lo(n), hi(m) in interval() argument
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() argument
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 DDateInterval_format.phpt18 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 Drfc-datetime_and_daylight_saving_time-type1.phpt61 . $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 Drfc-datetime_and_daylight_saving_time-type2.phpt61 . $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 DDateInterval_format.phpt18 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 Drfc-datetime_and_daylight_saving_time-type1.phpt61 . $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 Drfc-datetime_and_daylight_saving_time-type2.phpt61 . $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 DDateInterval_format.phpt20 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 Drfc-datetime_and_daylight_saving_time-type1.phpt61 . $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 Drfc-datetime_and_daylight_saving_time-type2.phpt61 . $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 DDateInterval_format.phpt20 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 Drfc-datetime_and_daylight_saving_time-type1.phpt61 . $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 Drfc-datetime_and_daylight_saving_time-type2.phpt61 . $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 DDateInterval_format.phpt20 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 Drfc-datetime_and_daylight_saving_time-type1.phpt61 . $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 Drfc-datetime_and_daylight_saving_time-type2.phpt61 . $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 DDateInterval_format.phpt20 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 Drfc-datetime_and_daylight_saving_time-type1.phpt61 . $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 DDateInterval_format.phpt20 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 Drfc-datetime_and_daylight_saving_time-type1.phpt61 . $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 DDateInterval_format.phpt20 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 Drfc-datetime_and_daylight_saving_time-type1.phpt61 . $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 Dinterval.hh36 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 …]

12345678910>>...1297