| /dports/math/singular/Singular-Release-4-2-1/factory/ |
| H A D | canonicalform.cc | 36 if ( is_imm( value ) ) in getval()
45 if ( is_imm( value ) ) in deepCopy()
64 return is_imm( value );
106 if ( is_imm( value ) ) in inBaseDomain()
115 if ( is_imm( value ) ) in inExtension()
124 if ( is_imm( value ) ) in inCoeffDomain()
133 if ( is_imm( value ) ) in inPolyDomain()
1471 else if ( is_imm( rhs.value ) || is_imm( lhs.value ) ) { in operator ==()
1474 is_imm( rhs.value ) == is_imm( lhs.value ), in operator ==()
1496 else if ( is_imm( rhs.value ) || is_imm( lhs.value ) ) { in operator !=()
[all …]
|
| H A D | cf_inline.cc | 174 : value( is_imm( cf.value ) ? cf.value : cf.value->copyObject() ) in CanonicalForm()
262 if ( (! is_imm( value )) && value->deleteObject() ) in ~CanonicalForm()
282 if ( (! is_imm( value )) && value->deleteObject() ) in operator =()
284 value = (is_imm( cf.value )) ? cf.value : cf.value->copyObject(); in operator =()
312 if ( (! is_imm( value )) && value->deleteObject() ) in operator =()
363 int what = is_imm( value ); in isOne()
381 int what = is_imm( value ); in isZero()
448 int what = is_imm( result.value ); in operator -()
|
| H A D | int_rat.cc | 154 bool InternalRational::is_imm() const in is_imm() function in InternalRational
538 if ( ::is_imm( c ) ) in comparecoeff()
562 ASSERT( ::is_imm( c ) == INTMARK || ! ::is_imm( c ), "expected integer" ); in addcoeff()
564 if ( ::is_imm( c ) ) in addcoeff()
599 ASSERT( ::is_imm( c ) == INTMARK || ! ::is_imm( c ), "expected integer" ); in subcoeff()
601 if ( ::is_imm( c ) ) in subcoeff()
656 ASSERT( ::is_imm( c ) == INTMARK || ! ::is_imm( c ), "expected integer" ); in mulcoeff()
658 if ( ::is_imm( c ) ) in mulcoeff()
709 ASSERT( ::is_imm( c ) == INTMARK || ! ::is_imm( c ), "expected integer" ); in dividecoeff()
711 if ( ::is_imm( c ) ) in dividecoeff()
[all …]
|
| H A D | int_int.cc | 41 bool InternalInteger::is_imm() const in is_imm() function in InternalInteger
190 ASSERT( ! ::is_imm( c ) && c->levelcoeff() == IntegerDomain, "incompatible base coefficients" ); in comparesame()
200 ASSERT( ::is_imm( c ) == INTMARK, "incompatible base coefficients" ); in comparecoeff()
207 ASSERT( ::is_imm( c ) == INTMARK, "incompatible base coefficients" ); in addcoeff()
246 ASSERT( ::is_imm( c ) == INTMARK, "incompatible base coefficients" ); in subcoeff()
301 ASSERT( ::is_imm( c ) == INTMARK, "incompatible base coefficients" ); in mulcoeff()
350 ASSERT( ! ::is_imm( c ) && c->levelcoeff() == IntegerDomain, "incompatible base coefficients" ); in bgcdsame()
379 ASSERT( ::is_imm( c ) == INTMARK, "incompatible base coefficients" ); in bgcdcoeff()
411 ASSERT( ! ::is_imm( c ) && c->levelcoeff() == IntegerDomain, "incompatible base coefficients" ); in bextgcdsame()
466 ASSERT( ::is_imm( c ) == INTMARK, "incompatible base coefficients" ); in bextgcdcoeff()
|
| H A D | int_intdiv.cc | 30 ASSERT( ! ::is_imm( c ) && c->levelcoeff() == IntegerDomain, in dividesame()
71 ASSERT( ::is_imm( c ) == INTMARK, in dividecoeff()
127 ASSERT( ! ::is_imm( c ) && c->levelcoeff() == IntegerDomain, in divsame()
153 ASSERT( ::is_imm( c ) == INTMARK, in divcoeff()
188 ASSERT( ! ::is_imm( c ) && c->levelcoeff() == IntegerDomain, in modulosame()
214 ASSERT( ::is_imm( c ) == INTMARK, in modulocoeff()
273 ASSERT( ! ::is_imm( c ) && c->levelcoeff() == IntegerDomain, in divremsame()
310 ASSERT( ::is_imm( c ) == INTMARK, in divremcoeff()
|
| H A D | imm.h | 114 inline int is_imm ( const InternalCF * const ptr )
166 if ( is_imm( op ) == FFMARK ) in imm_intval()
173 else if ( is_imm( op ) == GFMARK ) in imm_intval()
202 if ( is_imm( op ) == FFMARK ) in imm_sign()
212 else if ( is_imm( op ) == GFMARK ) in imm_sign()
483 if ( is_imm( op ) == FFMARK ) in imm_print()
488 else if ( is_imm( op ) == GFMARK ) { in imm_print()
|
| H A D | int_poly.cc | 368 if (is_imm(aCoeff)) return mulcoeff(aCoeff); in mulsame()
430 if (is_imm(aCoeff)) in tryMulsame()
503 if (is_imm(dummy)) dummy=this->mulsame(dummy); in divsame()
1040 CanonicalForm c( is_imm(cc) ? cc : cc->copyObject() ); in addcoeff()
1224 if (is_imm(dummy)) in dividecoeff()
1226 if (is_imm(cc)) in dividecoeff()
1318 if (is_imm(dummy)) in tryDividecoeff()
1320 if (is_imm(cc)) in tryDividecoeff()
1662 if ( is_imm( cc ) ) in divremcoeff()
1700 if ( is_imm( cc ) ) in divremcoefft()
[all …]
|
| H A D | cf_factory.cc | 126 if ( dummy->is_imm() ) { in basic()
167 if ( dummy->is_imm() ) { in basic()
208 if ( dummy->is_imm() ) { in basic()
305 …ASSERT( ! is_imm( value ) && (value->levelcoeff() == IntegerDomain || value->levelcoeff() == Prime… in getmpi()
|
| H A D | singext.cc | 23 ASSERT( ! is_imm( ff ), "illegal type" ); in gmp_numerator()
43 ASSERT( ! is_imm( ff ), "illegal type" ); in gmp_denominator()
|
| H A D | int_pp.h | 60 bool is_imm() const;
|
| H A D | int_pp.cc | 140 bool InternalPrimePower::is_imm() const in is_imm() function in InternalPrimePower
341 …ASSERT( ! ::is_imm( c ) && c->levelcoeff() == PrimePowerDomain, "incompatible base coefficients" ); in comparesame()
|
| H A D | canonicalform.h | 65 inline int is_imm ( const InternalCF * const ptr ) in is_imm() function
110 inline bool isImm() const { return is_imm( value ); }; in isImm()
|
| H A D | int_rat.h | 69 bool is_imm() const;
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/hipe/x86/ |
| H A D | hipe_rtl_to_x86.erl | 303 case hipe_x86:is_imm(Src1) of
305 case hipe_x86:is_imm(Src2) of
312 case hipe_x86:is_imm(Src2) of
345 case hipe_x86:is_imm(Src2) of
380 case hipe_x86:is_imm(Src1) of
384 case hipe_x86:is_imm(Src2) of
616 case hipe_x86:is_imm(Src) of
627 case hipe_rtl:is_imm(Opnd) of
727 case hipe_x86:is_imm(Src) of
768 case hipe_x86:is_imm(Src) of
[all …]
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/x86/ |
| H A D | hipe_rtl_to_x86.erl | 303 case hipe_x86:is_imm(Src1) of
305 case hipe_x86:is_imm(Src2) of
312 case hipe_x86:is_imm(Src2) of
345 case hipe_x86:is_imm(Src2) of
380 case hipe_x86:is_imm(Src1) of
384 case hipe_x86:is_imm(Src2) of
616 case hipe_x86:is_imm(Src) of
627 case hipe_rtl:is_imm(Opnd) of
727 case hipe_x86:is_imm(Src) of
768 case hipe_x86:is_imm(Src) of
[all …]
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/hipe/x86/ |
| H A D | hipe_rtl_to_x86.erl | 303 case hipe_x86:is_imm(Src1) of
305 case hipe_x86:is_imm(Src2) of
312 case hipe_x86:is_imm(Src2) of
345 case hipe_x86:is_imm(Src2) of
380 case hipe_x86:is_imm(Src1) of
384 case hipe_x86:is_imm(Src2) of
616 case hipe_x86:is_imm(Src) of
627 case hipe_rtl:is_imm(Opnd) of
727 case hipe_x86:is_imm(Src) of
768 case hipe_x86:is_imm(Src) of
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/ |
| H A D | recfun_decl_plugin.cpp | 193 …::string & name, unsigned case_index, expr_ref_vector const& conditions, expr * rhs, bool is_imm) { in add_case() argument
195 c.set_is_immediate(is_imm); in add_case()
197 << " :is_imm " << is_imm in add_case()
309 bool is_imm = is_i(case_rhs); in compute_cases() local
310 add_case(name, case_idx++, conditions, case_rhs, is_imm); in compute_cases()
|
| /dports/devel/plasma/plasma-5bb07b3/plasma/lib/arch/arm/ |
| H A D | output.py | 234 is_imm = i.address in self.gctx.db.immediates
237 if is_imm:
278 if is_imm:
|
| /dports/devel/plasma/plasma-5bb07b3/plasma/lib/arch/mips/ |
| H A D | output.py | 164 is_imm = i.address in self.gctx.db.immediates
167 if is_imm:
293 if is_imm:
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/ |
| H A D | recfun_decl_plugin.cpp | 197 …::string & name, unsigned case_index, expr_ref_vector const& conditions, expr * rhs, bool is_imm) { in add_case() argument
199 c.set_is_immediate(is_imm); in add_case()
202 << "\n:is_imm " << is_imm in add_case()
315 bool is_imm = is_i(case_rhs); in compute_cases() local
316 add_case(name, case_idx++, conditions, case_rhs, is_imm); in compute_cases()
|
| /dports/devel/plasma/plasma-5bb07b3/plasma/lib/arch/x86/ |
| H A D | output.py | 256 is_imm = i.address in self.gctx.db.immediates and len(ops) == 2 and \
262 if is_imm:
434 if is_imm:
|
| /dports/math/petanque/arybo-release-1.1.0/arybo/lib/ |
| H A D | bool_solver.py | 117 if last.is_imm() and last.imm_value() == True:
|
| /dports/math/py-arybo/arybo-1.1.0/arybo/lib/ |
| H A D | bool_solver.py | 117 if last.is_imm() and last.imm_value() == True:
|
| /dports/emulators/darcnes/darcnes/ |
| H A D | build_cpu6xxx_common.h | 212 int is_imm; member
223 if (instr->is_sta && big8_addmodes[i].is_imm) { in emit_big8()
|
| /dports/math/petanque/arybo-release-1.1.0/petanque/src/ |
| H A D | exprs.cpp | 166 if (cur_a.is_imm()) { in expand()
|