Home
last modified time | relevance | path

Searched refs:get_cube (Results 1 – 25 of 28) sorted by relevance

12

/dports/math/z3/z3-z3-4.8.13/src/muz/spacer/
H A Dspacer_generalizers.cpp39 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 Dspacer_arith_generalizers.cpp87 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 Dspacer_quant_generalizer.cpp683 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 Dspacer_context.h153 expr_ref_vector const &get_cube();
H A Dspacer_context.cpp593 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 Dspacer_generalizers.cpp39 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 Dspacer_arith_generalizers.cpp87 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 Dspacer_quant_generalizer.cpp683 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 Dspacer_context.h152 expr_ref_vector const &get_cube();
/dports/devel/py-bullet3/bullet3-3.21/examples/pybullet/gym/pybullet_envs/
H A Drobot_locomotors.py211 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 Dlattice.f1013 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 Drubikpce.pl94 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 Dlattice.f1013 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 Dc_semicore.F555 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 Dc_semicore.F555 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 Ddenpot.py321 def get_cube(self, out_filepath, workdir=None): member in DensityFortranFile
/dports/science/gabedit/GabeditSrc251_300720/src/Display/
H A DIsoSurface.c190 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 Ditest_ebands.py266 denfile.get_cube("den.cube", workdir=workdir)
/dports/science/segyio/segyio-1.9.8/mex/test/
H A Dsegy.m13 data = Segy.get_cube( spec );
/dports/science/py-segyio/segyio-1.9.8/mex/test/
H A Dsegy.m13 data = Segy.get_cube( spec );
/dports/science/py-segyio/segyio-1.9.8/mex/
H A DSegy.m292 function data = get_cube(sc) function
/dports/science/segyio/segyio-1.9.8/mex/
H A DSegy.m292 function data = get_cube(sc) function
/dports/science/py-segyio/segyio-1.9.8/
H A DREADME.md533 data=Segy.get_cube(Segy_struct);
/dports/science/segyio/segyio-1.9.8/
H A DREADME.md533 data=Segy.get_cube(Segy_struct);
/dports/games/gnubg/gnubg-1.06.002/
H A Dplay.c512 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()

12