Home
last modified time | relevance | path

Searched refs:sat (Results 1 – 25 of 7066) sorted by relevance

12345678910>>...283

/dports/math/z3/z3-z3-4.8.13/src/test/
H A Dfinder.cpp16 static void _mk_clause4(sat::solver& s, sat::literal const & w, sat::literal const& x, sat::literal… in _mk_clause4()
29 fn(f_npn, [&](sat::literal head, sat::literal a, sat::literal b, sat::literal c) { in _check_finder()
85 …sat::literal ls1[] = {sat::literal(0, true), sat::literal(1, true), sat::literal(2, true), sat::li… in tst_single_and()
99 …_mk_clause4(s, sat::literal(0, true), sat::literal(1, false), sat::literal(2, false), sat::literal… in tst_single_xor()
100 …_mk_clause4(s, sat::literal(0, false), sat::literal(1, true), sat::literal(2, false), sat::literal… in tst_single_xor()
101 …_mk_clause4(s, sat::literal(0, false), sat::literal(1, false), sat::literal(2, true), sat::literal… in tst_single_xor()
103 …_mk_clause4(s, sat::literal(0, false), sat::literal(1, true), sat::literal(2, true), sat::literal(… in tst_single_xor()
104 …_mk_clause4(s, sat::literal(0, true), sat::literal(1, false), sat::literal(2, true), sat::literal(… in tst_single_xor()
105 …_mk_clause4(s, sat::literal(0, true), sat::literal(1, true), sat::literal(2, false), sat::literal(… in tst_single_xor()
106 …_mk_clause4(s, sat::literal(0, true), sat::literal(1, true), sat::literal(2, true), sat::literal(3… in tst_single_xor()
[all …]
/dports/comms/gpredict/gpredict-2.2.1/src/sgpsdp/
H A Dsgp4sdp4.c88 sat->sgps.eta = sat->sgps.aodp * sat->tle.eo * tsi; in SGP4()
315 sat->deep_arg.eosq = sat->tle.eo * sat->tle.eo; in SDP4()
803 sat->dps.xlamo = xmao+sat->tle.xnodeo+sat->tle.xnodeo-sat->dps.thgr-sat->dps.thgr; in Deep()
827 sat->dps.xlamo = xmao+sat->tle.xnodeo+sat->tle.omegao-sat->dps.thgr; in Deep()
845 sat->deep_arg.xll = sat->deep_arg.xll+sat->dps.ssl*sat->deep_arg.t; in Deep()
847 sat->deep_arg.xnode = sat->deep_arg.xnode+sat->dps.ssh*sat->deep_arg.t; in Deep()
848 sat->deep_arg.em = sat->tle.eo+sat->dps.sse*sat->deep_arg.t; in Deep()
849 sat->deep_arg.xinc = sat->tle.xincl+sat->dps.ssi*sat->deep_arg.t; in Deep()
900 …xndot = sat->dps.del1*sin(sat->dps.xli-sat->dps.fasx2)+sat->dps.del2*sin(2*(sat->dps.xli-sat->dps.… in Deep()
902 …xnddt = sat->dps.del1*cos(sat->dps.xli-sat->dps.fasx2)+2*sat->dps.del2*cos(2*(sat->dps.xli-sat->dp… in Deep()
[all …]
/dports/games/powermanga/powermanga-0.93.1/src/
H A Dsatellite_protections.c302 sat->img[sat->current_image]->x_gc; in satellites_handle()
307 sat->img[sat->current_image]->y_gc; in satellites_handle()
316 sat->fire_rate_count = sat->fire_rate; in satellites_handle()
348 if (sat->anim_count >= sat->anim_speed) in satellites_handle()
374 draw_sprite (sat->img[sat->current_image], sat->xcoord, in satellites_handle()
434 sat->fire_rate_count = sat->fire_rate; in satellite_add()
513 sat = sat->next; in satellite_check_chained_list()
526 sat = sat->previous; in satellite_check_chained_list()
598 sat->previous->next = sat->next; in satellite_del()
602 sat->next->previous = sat->previous; in satellite_del()
[all …]
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/python/
H A Dsat.i37 PY_PROTO_TYPEMAP(ortools.sat.cp_model_pb2,
39 operations_research::sat::CpModelProto);
41 PY_PROTO_TYPEMAP(ortools.sat.cp_model_pb2,
43 operations_research::sat::CpSolverResponse);
45 PY_PROTO_TYPEMAP(ortools.sat.sat_parameters_pb2,
47 operations_research::sat::SatParameters);
53 %unignore operations_research::sat;
56 %unignore operations_research::sat::SolveWrapper;
61 %unignore operations_research::sat::SolveWrapper::Solve;
65 %unignore operations_research::sat::CpSatHelper;
[all …]
/dports/comms/gpredict/gpredict-2.2.1/src/
H A Dpredict-tools.c69 sat->tsince = (sat->jul_utc - sat->jul_epoch) * xmnpda; in predict_calc()
73 SDP4(sat, sat->tsince); in predict_calc()
75 SGP4(sat, sat->tsince); in predict_calc()
77 Convert_Sat_State(&sat->pos, &sat->vel); in predict_calc()
81 sat->velo = sat->vel.w; in predict_calc()
82 Calculate_Obs(sat->jul_utc, &sat->pos, &sat->vel, &obs_geodetic, &obs_set); in predict_calc()
98 sat->ma = Degrees(sat->phase); in predict_calc()
100 sat->phase = Degrees(sat->phase); in predict_calc()
105 age = sat->jul_utc - sat->jul_epoch; in predict_calc()
108 (sat->tle.xmo + sat->tle.omegao) / twopi) + sat->tle.revnum ; in predict_calc()
[all …]
H A Dgtk-sat-data.c101 sat->nickname = g_strdup(sat->name); in gtk_sat_data_read_sat()
230 Convert_Sat_State(&sat->pos, &sat->vel); in gtk_sat_data_init_sat()
234 sat->velo = sat->vel.w; in gtk_sat_data_init_sat()
251 sat->ma = Degrees(sat->phase); in gtk_sat_data_init_sat()
253 sat->footprint = 2.0 * xkmper * acos(xkmper / sat->pos.w); in gtk_sat_data_init_sat()
255 sat->orbit = (long)floor((sat->tle.xno * xmnpda / twopi + in gtk_sat_data_init_sat()
257 (sat->tle.xmo + sat->tle.omegao) / twopi) + in gtk_sat_data_init_sat()
261 sat->otype = get_orbit_type(sat); in gtk_sat_data_init_sat()
346 if (!sat) in gtk_sat_data_free_sat()
349 if (sat->name) in gtk_sat_data_free_sat()
[all …]
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/csharp/
H A Dsat.i35 %typemap(csimports) operations_research::sat::CpSatHelper %{
44 PROTO_INPUT(operations_research::sat::CpModelProto,
48 PROTO_INPUT(operations_research::sat::SatParameters,
52 PROTO_INPUT(operations_research::sat::CpSolverResponse,
60 PROTO2_RETURN(operations_research::sat::CpSolverResponse,
69 %unignore operations_research::sat;
73 %unignore operations_research::sat::LogCallback;
78 %unignore operations_research::sat::SolveWrapper;
83 %unignore operations_research::sat::SolveWrapper::Solve;
87 %unignore operations_research::sat::CpSatHelper;
[all …]
/dports/astro/gpstk/GPSTk-8.0.0/core/tests/GNSSCore/
H A DSatMetaDataStore_T.cpp83 gpstk::SatMetaData sat; in findSatTest() local
90 TUASSERTE(uint32_t, 32, sat.prn); in findSatTest()
93 TUASSERTE(int32_t, 0, sat.chl); in findSatTest()
118 TUASSERTE(uint32_t, 32, sat.prn); in findSatTest()
121 TUASSERTE(int32_t, 0, sat.chl); in findSatTest()
161 gpstk::SatMetaData sat; in getSVNTest() local
192 gpstk::SatMetaData sat; in findSatBySVNTest() local
202 TUASSERTE(int32_t, 0, sat.chl); in findSatBySVNTest()
230 TUASSERTE(int32_t, 0, sat.chl); in findSatBySVNTest()
270 gpstk::SatMetaData sat; in findSatBySlotFdmaTest() local
[all …]
/dports/cad/yosys/yosys-yosys-0.12/libs/ezsat/
H A Dtestbench.cc68 sat.assume(sat.OR("A", "B")); in test_simple()
69 sat.assume(sat.NOT(sat.AND("A", "B"))); in test_simple()
135 sat.vec_set(bits, sat.vec_var("o", 32)); in test_xorshift32()
172 CHECK(a < b+c, sat.solve(sat.vec_lt_signed(av, sat.vec_add(bv, cv)))); in test_signed()
173 CHECK(a <= b-c, sat.solve(sat.vec_le_signed(av, sat.vec_sub(bv, cv)))); in test_signed()
175 CHECK(a > b+c, sat.solve(sat.vec_gt_signed(av, sat.vec_add(bv, cv)))); in test_signed()
176 CHECK(a >= b-c, sat.solve(sat.vec_ge_signed(av, sat.vec_sub(bv, cv)))); in test_signed()
194 CHECK(a < b+c, sat.solve(sat.vec_lt_unsigned(av, sat.vec_add(bv, cv)))); in test_unsigned()
195 CHECK(a <= b-c, sat.solve(sat.vec_le_unsigned(av, sat.vec_sub(bv, cv)))); in test_unsigned()
197 CHECK(a > b+c, sat.solve(sat.vec_gt_unsigned(av, sat.vec_add(bv, cv)))); in test_unsigned()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A Dmodule.make1 SRC += src/sat/bmc/bmcBCore.c \
2 src/sat/bmc/bmcBmc.c \
3 src/sat/bmc/bmcBmc2.c \
4 src/sat/bmc/bmcBmc3.c \
5 src/sat/bmc/bmcBmcAnd.c \
6 src/sat/bmc/bmcBmci.c \
7 src/sat/bmc/bmcBmcG.c \
8 src/sat/bmc/bmcBmcS.c \
16 src/sat/bmc/bmcClp.c \
17 src/sat/bmc/bmcEco.c \
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/fixed-point/
H A Ddefine.c20 sat short fract Ssf = SFRACT_MAX;
21 sat fract Sf = FRACT_MAX;
22 sat long fract Slf = LFRACT_MAX;
40 sat short fract Ssfm = SFRACT_MIN;
41 sat fract Sfm = FRACT_MIN;
42 sat long fract Slfm = LFRACT_MIN;
61 sat fract SfE = FRACT_EPSILON;
81 sat accum Sk = ACCUM_MAX;
82 sat long accum Slk = LACCUM_MAX;
101 sat accum Skm = ACCUM_MIN;
[all …]

12345678910>>...283