| /dports/graphics/geomview/geomview-1.9.5/src/bin/geomview/x11/ |
| H A D | gvsave.c | 75 { SAVE_WIO, &GeomOps, UNIVERSE, "Geometry [in universe]"},
84 { SAVE_WIO, &CamOps, UNIVERSE, "Camera" },
86 { SAVE_WIO, &TransOps, UNIVERSE, "Transform [to universe]"},
87 { SAVE_WIO, &WindowOps, UNIVERSE, "Window" },
205 return (id != UNIVERSE && drawer_get_object(id) == NULL) ? NOID : id; in suitable_id()
|
| /dports/devel/p5-Set-Scalar/Set-Scalar-1.29/lib/Set/Scalar/ |
| H A D | ValuedUniverse.pm | 14 my $UNIVERSE = __PACKAGE__->new;
21 return $UNIVERSE;
|
| /dports/devel/ppl/ppl-1.2/tests/Box/ |
| H A D | frombox1.cc | 43 TBox src(0, UNIVERSE); in test02()
69 TBox src(24, UNIVERSE); in test04()
84 Rational_Box src(DIM, UNIVERSE); in test05()
|
| H A D | addspacedims1.cc | 77 TBox box(0, UNIVERSE); in test03()
83 Rational_Box known_result(3, UNIVERSE); in test03()
167 TBox box(10, UNIVERSE); in test07()
172 return box == TBox(11, UNIVERSE); in test07()
|
| /dports/devel/ppl/ppl-1.2/tests/Powerset/ |
| H A D | membytes1.cc | 37 c_ps.add_disjunct(C_Polyhedron(1, UNIVERSE)); in test01()
54 pps_box.add_disjunct(TBox(1, UNIVERSE)); in test02()
|
| H A D | fromspacedimension1.cc | 40 Pointset_Powerset<C_Polyhedron> ps(0, UNIVERSE); in test02()
58 Pointset_Powerset<C_Polyhedron> ps(4, UNIVERSE); in test04()
|
| H A D | difference1.cc | 33 Pointset_Powerset<C_Polyhedron> c_ps1(2, UNIVERSE); in test01()
56 Pointset_Powerset<C_Polyhedron> c_ps1(2, UNIVERSE); in test02()
|
| /dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
| H A D | addspacedims1.cc | 77 TBD_Shape bds(0, UNIVERSE); in test03()
83 BD_Shape<mpq_class> known_result(3, UNIVERSE); in test03()
168 TBD_Shape bds(10, UNIVERSE); in test07()
173 return bds == TBD_Shape(11, UNIVERSE); in test07()
|
| H A D | fromspacedim1.cc | 41 TBD_Shape bds(0, UNIVERSE); in test02()
63 TBD_Shape bds(4, UNIVERSE); in test04()
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/fmf/ |
| H A D | quant_real_univ.cvc | 7 ASSERT REAL_UNIVERSE = UNIVERSE :: SET OF [REAL];
8 ASSERT ATOM_UNIVERSE = UNIVERSE :: SET OF [Atom];
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/rels/ |
| H A D | iden_1_1.cvc | 15 ASSERT univ = UNIVERSE::SET OF [Atom];
16 ASSERT univ2 = UNIVERSE::SET OF [Atom, Atom];
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Box_Status_inlines.hh | 119 return test_any(UNIVERSE); in test_universe()
125 reset(UNIVERSE); in reset_universe()
131 set(UNIVERSE); in set_universe()
|
| H A D | C_Polyhedron_inlines.hh | 111 UNIVERSE) { in C_Polyhedron()
125 UNIVERSE) { in C_Polyhedron()
|
| H A D | NNC_Polyhedron_inlines.hh | 110 UNIVERSE) { in NNC_Polyhedron()
124 UNIVERSE) { in NNC_Polyhedron()
|
| H A D | Interval_templates.hh | 180 assign(UNIVERSE); in Interval()
200 assign(UNIVERSE); in Interval()
341 x.assign(UNIVERSE); in operator >>()
363 x.assign(UNIVERSE); in operator >>()
|
| H A D | termination_templates.hh | 333 mu_space = C_Polyhedron(1 + space_dim/2, UNIVERSE); in all_affine_ranking_functions_MS()
361 mu_space = C_Polyhedron(1 + before_space_dim, UNIVERSE); in all_affine_ranking_functions_MS_2()
388 decreasing_mu_space = C_Polyhedron(1 + space_dim/2, UNIVERSE); in all_affine_quasi_ranking_functions_MS()
420 decreasing_mu_space = C_Polyhedron(1 + before_space_dim, UNIVERSE); in all_affine_quasi_ranking_functions_MS_2()
|
| H A D | Box_templates.hh | 60 if (kind == UNIVERSE) { in Box()
62 seq[i].assign(UNIVERSE); in Box()
84 seq[i].assign(UNIVERSE); in Box()
101 seq[i].assign(UNIVERSE); in Box()
392 seq[i].assign(UNIVERSE); in Box()
522 seq_i.assign(UNIVERSE); in Box()
1647 seq_vsi.assign(UNIVERSE); in unconstrain()
3204 x_seq_v.assign(UNIVERSE); in affine_preimage()
3365 seq_v.assign(UNIVERSE); in bounded_affine_image()
3781 seq_v.assign(UNIVERSE); in generalized_affine_preimage()
[all …]
|
| /dports/science/py-OpenMC/openmc-0.12.2/src/ |
| H A D | geometry_aux.cpp | 92 c->type_ = Fill::UNIVERSE; in adjust_indices()
384 if (c.type_ == Fill::UNIVERSE) { in prepare_distribcell()
416 if (c.type_ == Fill::UNIVERSE) { in count_cell_instances()
453 if (c.type_ == Fill::UNIVERSE) { in count_universe_instances()
505 if (c.type_ == Fill::UNIVERSE) { in distribcell_path_inner()
523 if (c.type_ == Fill::UNIVERSE) { in distribcell_path_inner()
570 if (c.type_ == Fill::UNIVERSE) { in maximum_levels()
|
| /dports/science/openmc/openmc-0.12.2/src/ |
| H A D | geometry_aux.cpp | 92 c->type_ = Fill::UNIVERSE; in adjust_indices()
384 if (c.type_ == Fill::UNIVERSE) { in prepare_distribcell()
416 if (c.type_ == Fill::UNIVERSE) { in count_cell_instances()
453 if (c.type_ == Fill::UNIVERSE) { in count_universe_instances()
505 if (c.type_ == Fill::UNIVERSE) { in distribcell_path_inner()
523 if (c.type_ == Fill::UNIVERSE) { in distribcell_path_inner()
570 if (c.type_ == Fill::UNIVERSE) { in maximum_levels()
|
| /dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
| H A D | fromspacedim1.cc | 41 TOctagonal_Shape oc(0, UNIVERSE); in test02()
63 TOctagonal_Shape oc(4, UNIVERSE); in test04()
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/tests/ |
| H A D | MIP_Problem_test1.java | 65 C_Polyhedron ph1 = new C_Polyhedron(3, Degenerate_Element.UNIVERSE); in test01()
67 C_Polyhedron ph2 = new C_Polyhedron(4, Degenerate_Element.UNIVERSE); in test01()
87 Degenerate_Element.UNIVERSE); in test01()
103 Degenerate_Element.UNIVERSE); in test01()
|
| H A D | Parma_Polyhedra_Library_test2.java | 111 Polyhedron ph = new NNC_Polyhedron(i, Degenerate_Element.UNIVERSE); in timed_compute_open_hypercube_generators()
140 Polyhedron ph = new NNC_Polyhedron(i, Degenerate_Element.UNIVERSE); in weighted_compute_open_hypercube_generators()
|
| H A D | C_Polyhedron_test1.java | 91 C_Polyhedron ph = new C_Polyhedron(3, Degenerate_Element.UNIVERSE); in test02()
124 C_Polyhedron ph = new C_Polyhedron(0, Degenerate_Element.UNIVERSE); in test04()
|
| /dports/devel/ppl/ppl-1.2/tests/Grid/ |
| H A D | intersection1.cc | 153 Grid gr1(3, UNIVERSE); in test05()
183 Grid gr2(3, UNIVERSE); in test06()
210 Grid gr2(0, UNIVERSE); in test07()
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
| H A D | Degenerate_Element.java | 30 UNIVERSE, enumConstant
|