| /dports/astro/gpstk/GPSTk-8.0.0/core/lib/GNSSCore/ |
| H A D | SatMetaDataStore.cpp | 111 if (!addSat(vals, lineNo)) in loadData()
180 addSat(const std::vector<std::string>& vals, unsigned long lineNo) in addSat() function in gpstk::SatMetaDataStore
|
| H A D | SatMetaDataStore.hpp | 282 bool addSat(const std::vector<std::string>& vals, unsigned long lineNo);
|
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | weight_constraint.cpp | 194 bool addSat = (flags&create_sat) != 0 && rep.size; in doCreate() local
196 if (rep.unsat() || (rep.sat() && !addSat)){ return 0; } in doCreate()
214 assert(rep.open() || (rep.sat() && addSat)); in doCreate()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | weight_constraint.cpp | 203 bool addSat = (flags&create_sat) != 0 && rep.size; in doCreate() local
206 if (rep.unsat() || (rep.sat() && !addSat)){ return 0; } in doCreate()
224 assert(rep.open() || (rep.sat() && addSat)); in doCreate()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | weight_constraint.cpp | 203 bool addSat = (flags&create_sat) != 0 && rep.size; in doCreate() local
206 if (rep.unsat() || (rep.sat() && !addSat)){ return 0; } in doCreate()
224 assert(rep.open() || (rep.sat() && addSat)); in doCreate()
|
| /dports/lang/zig-devel/zig-0.9.0/lib/std/math/big/ |
| H A D | int_test.zig | 682 test "big.int addSat single-single, unsigned" {
689 try a.addSat(a.toConst(), b.toConst(), .unsigned, 17);
706 test "big.int addSat multi-multi, unsigned, limb aligned" {
713 try a.addSat(a.toConst(), b.toConst(), .unsigned, @bitSizeOf(DoubleLimb));
730 test "big.int addSat single-single, signed" {
737 try a.addSat(a.toConst(), b.toConst(), .signed, @bitSizeOf(i14));
754 test "big.int addSat multi-multi, signed, limb aligned" {
761 try a.addSat(a.toConst(), b.toConst(), .signed, @bitSizeOf(SignedDoubleLimb));
|
| H A D | int.zig | 487 pub fn addSat(r: *Mutable, a: Const, b: Const, signedness: Signedness, bit_count: usize) void {
599 r.addSat(a, b.negate(), signedness, bit_count);
2465 …pub fn addSat(r: *Managed, a: Const, b: Const, signedness: Signedness, bit_count: usize) Allocator…
2468 m.addSat(a, b, signedness, bit_count);
|
| /dports/lang/zig/zig-0.9.0/lib/std/math/big/ |
| H A D | int_test.zig | 682 test "big.int addSat single-single, unsigned" {
689 try a.addSat(a.toConst(), b.toConst(), .unsigned, 17);
706 test "big.int addSat multi-multi, unsigned, limb aligned" {
713 try a.addSat(a.toConst(), b.toConst(), .unsigned, @bitSizeOf(DoubleLimb));
730 test "big.int addSat single-single, signed" {
737 try a.addSat(a.toConst(), b.toConst(), .signed, @bitSizeOf(i14));
754 test "big.int addSat multi-multi, signed, limb aligned" {
761 try a.addSat(a.toConst(), b.toConst(), .signed, @bitSizeOf(SignedDoubleLimb));
|
| H A D | int.zig | 487 pub fn addSat(r: *Mutable, a: Const, b: Const, signedness: Signedness, bit_count: usize) void {
599 r.addSat(a, b.negate(), signedness, bit_count);
2465 …pub fn addSat(r: *Managed, a: Const, b: Const, signedness: Signedness, bit_count: usize) Allocator…
2468 m.addSat(a, b, signedness, bit_count);
|
| /dports/lang/zig-devel/zig-0.9.0/src/ |
| H A D | value.zig | 2039 result_bigint.addSat(lhs_bigint, rhs_bigint, info.signedness, info.bits);
|
| /dports/lang/zig/zig-0.9.0/src/ |
| H A D | value.zig | 2039 result_bigint.addSat(lhs_bigint, rhs_bigint, info.signedness, info.bits);
|