/dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
H A D | spacer_generalizers.cpp | 39 cube.append(lemma->get_cube()); in operator ()() 63 if (lemma->get_cube().empty()) return; in operator ()() 76 cube.append(lemma->get_cube()); in operator ()() 135 tout << "Generalized from:\n" << mk_and(lemma->get_cube()) in operator ()() 159 unsigned old_sz = lemma->get_cube().size(); in operator ()() 236 core.append (lemma->get_cube()); in operator ()() 315 if (lemma->get_cube().empty()) return; in operator ()() 319 egraph.add_lits(lemma->get_cube()); in operator ()() 326 if (core.size() != lemma->get_cube().size() || in operator ()() 327 core.get(0) != lemma->get_cube().get(0)) { in operator ()()
|
H A D | spacer_arith_generalizers.cpp | 87 if (lemma->get_cube().empty()) return; in operator ()() 107 cube.append(lemma->get_cube()); in operator ()() 124 << lemma->get_cube() in operator ()() 135 << lemma->get_cube() << "\n\nto\n" in operator ()()
|
H A D | spacer_quant_generalizer.cpp | 683 if (lemma->get_cube().empty()) return; in operator ()() 690 tout << "initial cube: " << mk_and(lemma->get_cube()) << "\n";); in operator ()() 694 m_cube.append(lemma->get_cube()); in operator ()()
|
H A D | spacer_context.h | 153 expr_ref_vector const &get_cube();
|
H A D | spacer_context.cpp | 593 expr_ref_vector const &lemma::get_cube() { in get_cube() function in spacer::lemma 3609 c = mk_and(lemma->get_cube()); in expand_pob()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
H A D | spacer_generalizers.cpp | 39 cube.append(lemma->get_cube()); in operator ()() 63 if (lemma->get_cube().empty()) return; in operator ()() 76 cube.append(lemma->get_cube()); in operator ()() 135 tout << "Generalized from:\n" << mk_and(lemma->get_cube()) in operator ()() 159 unsigned old_sz = lemma->get_cube().size(); in operator ()() 236 core.append (lemma->get_cube()); in operator ()() 315 if (lemma->get_cube().empty()) return; in operator ()() 319 egraph.add_lits(lemma->get_cube()); in operator ()() 326 if (core.size() != lemma->get_cube().size() || in operator ()() 327 core.get(0) != lemma->get_cube().get(0)) { in operator ()()
|
H A D | spacer_arith_generalizers.cpp | 87 if (lemma->get_cube().empty()) return; in operator ()() 107 cube.append(lemma->get_cube()); in operator ()() 124 << lemma->get_cube() in operator ()() 135 << lemma->get_cube() << "\n\nto\n" in operator ()()
|
H A D | spacer_quant_generalizer.cpp | 683 if (lemma->get_cube().empty()) return; 690 tout << "initial cube: " << mk_and(lemma->get_cube()) << "\n";); 694 m_cube.append(lemma->get_cube());
|
H A D | spacer_context.h | 152 expr_ref_vector const &get_cube();
|
/dports/devel/py-bullet3/bullet3-3.21/examples/pybullet/gym/pybullet_envs/ |
H A D | robot_locomotors.py | 211 def get_cube(_p, x, y, z): function 285 self.aggressive_cube = get_cube(self._p, -1.5, 0, 0.05)
|
/dports/science/nwchem-data/nwchem-7.0.2-release/src/nwpw/nwpwlib/lattice/ |
H A D | lattice.f | 1013 call get_cube(unita,unitg,omega) 1026 call get_cube(unita_frozen,unitg_frozen,omega_frozen) 1094 call get_cube(unita_small,unitg_small,omega_small) 1104 call get_cube(unita_frozen_small, 1572 subroutine get_cube(unita,unitg,volume) subroutine
|
/dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/contrib/rubik/ |
H A D | rubikpce.pl | 94 get_cube(Frame,Disordered), 157 get_cube(Frame,Cube), 425 get_cube(Frame,Cube),!, 547 get_cube(Frame,Cube):-
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwpw/nwpwlib/lattice/ |
H A D | lattice.f | 1013 call get_cube(unita,unitg,omega) 1026 call get_cube(unita_frozen,unitg_frozen,omega_frozen) 1094 call get_cube(unita_small,unitg_small,omega_small) 1104 call get_cube(unita_frozen_small, 1740 subroutine get_cube(unita,unitg,volume) subroutine
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwpw/band/lib/cpsp/ |
H A D | c_semicore.F | 555 call get_cube(unita,unitg,omega) 810 call get_cube(unita,unitg,omega)
|
/dports/science/nwchem-data/nwchem-7.0.2-release/src/nwpw/band/lib/cpsp/ |
H A D | c_semicore.F | 555 call get_cube(unita,unitg,omega) 810 call get_cube(unita,unitg,omega)
|
/dports/science/py-abipy/abipy-0.9.0/abipy/electrons/ |
H A D | denpot.py | 321 def get_cube(self, out_filepath, workdir=None): member in DensityFortranFile
|
/dports/science/gabedit/GabeditSrc251_300720/src/Display/ |
H A D | IsoSurface.c | 190 Cube get_cube(gint i,gint j, gint k,gdouble isolevel,Grid* grid, gboolean mapping) in get_cube() function 352 iso->cube[i][j][k] = get_cube(i,j,k,isolevel,grid, mapping); in define_iso_surface()
|
/dports/science/py-abipy/abipy-0.9.0/abipy/integration_tests/ |
H A D | itest_ebands.py | 266 denfile.get_cube("den.cube", workdir=workdir)
|
/dports/science/segyio/segyio-1.9.8/mex/test/ |
H A D | segy.m | 13 data = Segy.get_cube( spec );
|
/dports/science/py-segyio/segyio-1.9.8/mex/test/ |
H A D | segy.m | 13 data = Segy.get_cube( spec );
|
/dports/science/py-segyio/segyio-1.9.8/mex/ |
H A D | Segy.m | 292 function data = get_cube(sc) function
|
/dports/science/segyio/segyio-1.9.8/mex/ |
H A D | Segy.m | 292 function data = get_cube(sc) function
|
/dports/science/py-segyio/segyio-1.9.8/ |
H A D | README.md | 533 data=Segy.get_cube(Segy_struct);
|
/dports/science/segyio/segyio-1.9.8/ |
H A D | README.md | 533 data=Segy.get_cube(Segy_struct);
|
/dports/games/gnubg/gnubg-1.06.002/ |
H A D | play.c | 512 copy_from_pmr_cur(moverecord * pmr, gboolean get_move, gboolean get_cube) in copy_from_pmr_cur() argument 525 if (get_cube && pmr_cur->CubeDecPtr->esDouble.et != EVAL_NONE) { in copy_from_pmr_cur()
|