Home
last modified time | relevance | path

Searched refs:num_equalities (Results 1 – 21 of 21) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DGrid_Certificate.cc34 : 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 DGrid_Certificate_inlines.hh33 : num_equalities(0), num_proper_congruences(0) { in Grid_Certificate()
40 : num_equalities(y.num_equalities), in Grid_Certificate()
H A DGrid_Certificate_defs.hh95 dimension_type num_equalities; member in Parma_Polyhedra_Library::Grid_Certificate
H A DGrid_widenings.cc123 if (con_sys.num_equalities() < yy.con_sys.num_equalities()) { in congruence_widening_assign()
H A DPointset_Powerset.cc151 if (cgs.num_equalities() != cgs_copy.num_equalities()) { in approximate_partition_aux()
H A DCongruence_System_defs.hh349 dimension_type num_equalities() const;
H A DConstraint_System_defs.hh283 dimension_type num_equalities() const;
H A DGrid_nonpublic.cc198 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 DConstraint_System.cc204 PPL::Constraint_System::num_equalities() const { in num_equalities() function in PPL::Constraint_System
H A DPolyhedron_widenings.cc225 else if (CH78_cs.num_equalities() == y.con_sys.num_equalities()) { in H79_widening_assign()
H A DCongruence_System.cc251 PPL::Congruence_System::num_equalities() const { in num_equalities() function in PPL::Congruence_System
H A DPolyhedron_nonpublic.cc374 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 DPolyhedron_public.cc1199 || cs_without_pending.num_equalities() in OK()
1200 != copy_of_con_sys.num_equalities()) { in OK()
H A Dppl.hh.dist43475 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 DHOPSPACK_CddLibWrapper.c59 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 DHOPSPACK_CddLibWrapper.h101 int num_equalities, double **Eq,
/dports/math/latte-integrale/latte-version_1_7_6/code/latte/
H A Dlatte_4ti2_zsolve.cpp34 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 DRegularTriangulationWith4ti2.cpp214 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 Dcongruences2.cc154 dimension_type neqs = cgs0.num_equalities(); in test06()
174 dimension_type neqs = cgs0.num_equalities(); in test07()
H A Dcongruences1.cc354 bool ok = ((cgs.num_equalities() == 1) in test15()
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dcp_model_loader.cc544 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()