/dports/devel/ppl/ppl-1.2/src/ |
H A D | Grid_Certificate.cc | 34 : num_equalities(0), num_proper_congruences(0) { in Grid_Certificate() 45 num_equalities = gr.con_sys.num_equalities(); in Grid_Certificate() 52 num_equalities = gr.space_dimension() + 1 - gr.gen_sys.num_rows(); in Grid_Certificate() 65 num_equalities = mgr.con_sys.num_equalities(); in Grid_Certificate() 83 num_equalities in Grid_Certificate() 91 if (num_equalities == y.num_equalities) { in compare() 99 return (num_equalities > y.num_equalities) ? 1 : -1; in compare()
|
H A D | Grid_Certificate_inlines.hh | 33 : num_equalities(0), num_proper_congruences(0) { in Grid_Certificate() 40 : num_equalities(y.num_equalities), in Grid_Certificate()
|
H A D | Grid_Certificate_defs.hh | 95 dimension_type num_equalities; member in Parma_Polyhedra_Library::Grid_Certificate
|
H A D | Grid_widenings.cc | 123 if (con_sys.num_equalities() < yy.con_sys.num_equalities()) { in congruence_widening_assign()
|
H A D | Pointset_Powerset.cc | 151 if (cgs.num_equalities() != cgs_copy.num_equalities()) { in approximate_partition_aux()
|
H A D | Congruence_System_defs.hh | 349 dimension_type num_equalities() const;
|
H A D | Constraint_System_defs.hh | 283 dimension_type num_equalities() const;
|
H A D | Grid_nonpublic.cc | 198 const dimension_type x_num_equalities = x.con_sys.num_equalities(); in quick_equivalence_test() 199 if (x_num_equalities != y.con_sys.num_equalities()) { in quick_equivalence_test()
|
H A D | Constraint_System.cc | 204 PPL::Constraint_System::num_equalities() const { in num_equalities() function in PPL::Constraint_System
|
H A D | Polyhedron_widenings.cc | 225 else if (CH78_cs.num_equalities() == y.con_sys.num_equalities()) { in H79_widening_assign()
|
H A D | Congruence_System.cc | 251 PPL::Congruence_System::num_equalities() const { in num_equalities() function in PPL::Congruence_System
|
H A D | Polyhedron_nonpublic.cc | 374 const dimension_type x_num_equalities = x.con_sys.num_equalities(); in quick_equivalence_test() 375 if (x_num_equalities != y.con_sys.num_equalities()) { in quick_equivalence_test() 1350 const dimension_type n_equals = con_sys.num_equalities(); in strongly_minimize_generators()
|
H A D | Polyhedron_public.cc | 1199 || cs_without_pending.num_equalities() in OK() 1200 != copy_of_con_sys.num_equalities()) { in OK()
|
H A D | ppl.hh.dist | 43475 dimension_type num_equalities() const; 44618 dimension_type num_equalities() const; 96192 dimension_type num_equalities; 96209 : num_equalities(0), num_proper_congruences(0) { 96216 : num_equalities(y.num_equalities),
|
/dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/hopspack/src/src-citizens/citizen-gss/ |
H A D | HOPSPACK_CddLibWrapper.c | 59 int num_equalities, double **Eq, in compute_cone_generators() argument 80 num_constraints = num_equalities + num_inequalities; in compute_cone_generators() 133 for (i = 0; i < num_equalities; i++) { in compute_cone_generators() 278 num_equalities, in main() local 282 num_equalities = 3; in main() 286 Eq = (double**) malloc(num_equalities*sizeof(double*)); in main() 287 for (i = 0; i < num_equalities; i++) { in main() 297 n, num_equalities, Eq, num_inequalities, Iq, &opts); in main() 329 for (i = 0; i < num_equalities; i++) { in main() 338 num_equalities = 0; in main() [all …]
|
H A D | HOPSPACK_CddLibWrapper.h | 101 int num_equalities, double **Eq,
|
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/ |
H A D | latte_4ti2_zsolve.cpp | 34 int num_equalities = lengthListVector(equalities); in facets_to_4ti2_zsolve_LinearSystem() local 35 VectorArray<int> matrix(/*height:*/ num_facets + num_equalities, in facets_to_4ti2_zsolve_LinearSystem() 51 int *rhs = new int[num_facets + num_equalities]; in facets_to_4ti2_zsolve_LinearSystem() 52 for (row = 0; row<num_facets + num_equalities; row++) in facets_to_4ti2_zsolve_LinearSystem() 62 for (; row<num_facets + num_equalities; row++) in facets_to_4ti2_zsolve_LinearSystem()
|
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/triangulation/ |
H A D | RegularTriangulationWith4ti2.cpp | 214 int num_equalities = subspace->get_number(); in triangulate_cone_with_4ti2() local 216 int true_dimension = Parameters->Number_of_Variables - num_equalities; in triangulate_cone_with_4ti2()
|
/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | congruences2.cc | 154 dimension_type neqs = cgs0.num_equalities(); in test06() 174 dimension_type neqs = cgs0.num_equalities(); in test07()
|
H A D | congruences1.cc | 354 bool ok = ((cgs.num_equalities() == 1) in test15()
|
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
H A D | cp_model_loader.cc | 544 int num_equalities = 0; in ExtractEncoding() local 563 ++num_equalities; in ExtractEncoding() 609 VLOG(1) << num_equalities << " literals associated to VAR == value, and " in ExtractEncoding()
|