Home
last modified time | relevance | path

Searched refs:grounding (Results 1 – 25 of 405) sorted by relevance

12345678910>>...17

/dports/math/vampire/vampire-4.5.1/FMB/
H A DFiniteModelBuilder.cpp1029 grounding[vars-1]=0; in addNewInstances()
1036 grounding[var]=1; in addNewInstances()
1039 grounding[var]++; in addNewInstances()
1205 grounding[arity+1]=0; in addNewFunctionalDefs()
1220 if(grounding[0]>=grounding[1]){ in addNewFunctionalDefs()
1262 for(unsigned i=0;i<arity;i++) grounding[i] = gt.grounding[i]; in addNewSymmetryOrderingAxioms()
1269 grounding[arity]=i; in addNewSymmetryOrderingAxioms()
1882 grounding[0]=c; in onModelFound()
1905 grounding[i]=1; in onModelFound()
2070 grounding[i]=1; in onModelFound()
[all …]
H A DFiniteModelBuilder.hpp54 DArray<unsigned> grounding; member
58 for(unsigned i=0;i<grounding.size();i++){ in toString()
60 ret+=Lib::Int::toString(grounding[i]); in toString()
/dports/math/clingo/clingo-5.5.1/examples/clingo/chemistry/
H A DREADME.md10 grounding:
18 grounding:
27 grounding:
/dports/devel/upp/upp/uppsrc/CppBase/
H A DInternal.h206 bool grounding; member
208 Term() { grounding = false; } in Term()
215 bool grounding; variable
218 …e) { Term& tm = term.AddTail(); tm.code = code; tm.ptr = pos; tm.grounding = grounding; } in AddCode()
255 bool IsGrounded() { Code(); return term.GetCount() && term[0].grounding; } in IsGrounded()
H A Dcpplex.cpp151 grounding = false; in Next()
154 grounding = true; in Next()
368 if(body && term.Head().grounding) in Get()
450 if(term.Head().grounding) in SkipToGrounding()
/dports/math/clingo/clingo-5.5.1/examples/reify/classical/
H A DREADME.md16 after grounding the input program (`example1.lp`). You can run the following
21 The grounding process applies simplifications that may eliminate some atoms of
/dports/math/clingo/clingo-5.5.1/examples/reify/supported/
H A DREADME.md16 after grounding the input program (`example1.lp`). You can run the following
21 The grounding process applies simplifications that may eliminate some atoms of
/dports/math/clingo/clingo-5.5.1/
H A DCHANGES.md37 * fix incremental grounding (#248)
76 grounding (#71)
80 * release python's GIL while grounding (#82)
178 * fixed grounding of recursive disjunctions (regression in 4.5.0)
182 * fixed grounding of recursive aggregates
209 grounding (breaks backwards compatibility)
223 * fixed grounding of recursive aggregates
231 * fixed bug not properly grounding recursive head aggregates
260 * fixed grounding of recursive head aggregates
H A DTODO.md34 - touching the counters should be avoided as much as possible during grounding
57 - it would be nice to block grounding of rules if one index is empty
/dports/lang/yap/yap-6.2.2/packages/cplint/
H A Dtestsemlpad.pl33 set(grounding,variables),
72 %mendels, %ok only with grounding=variables
H A Dsemlpad.pl26 %setting(grounding,variables).
27 setting(grounding,modes).
217 returns in C the set of clauses obtained by grounding Clauses
226 (setting(grounding,variables)->
H A Dtestsemlpadsld.pl33 set(grounding,variables),
H A Dsemlpadsld.pl22 setting(grounding,modes).
169 returns in C the set of clauses obtained by grounding Clauses
178 (setting(grounding,variables)->
/dports/math/clingo/clingo-5.5.1/examples/clingo/blocksworld/
H A DREADME7 - lua.lp: routines for incremental grounding and solving w.r.t. blocks and time
/dports/math/clingo/clingo-5.5.1/examples/clingo/extending/
H A DREADME.md6 Embedding python code to implement a function evaluated during grounding:
/dports/graphics/opendx/dx-4.4.4/help/
H A Ddxall1147 A review of these examples will provide a good grounding in
/dports/graphics/gmt/gmt-6.3.0/doc/rst/source/
H A Dexplain_-A.rst_12 add **g** to select the ice grounding line instead. For expert
H A Dexplain_gshhg.rst_11 The Antarctica coastlines come in two flavors: ice-front or grounding line,
/dports/textproc/link-grammar/link-grammar-5.8.0/data/en/words/
H A Dwords.n.1.gerund31 grounding.n
/dports/databases/sqsh/sqsh-2.5/
H A DREADME13 shell, such as variables, aliasing, redirection, pipes, back-grounding,
/dports/cad/pcb/pcb-4.2.0/lib/pcblib-newlib/amp/
H A DAMP_MICTOR_767054_1.fp127 # now add the center row of grounding pins
H A DAMP_MICTOR_767054_2.fp241 # now add the center row of grounding pins
/dports/databases/sqsh/sqsh-2.5/doc/
H A DREADME.bin21 aliasing, redirection, pipes, back-grounding, job control, history,
/dports/cad/kicad-library-footprints-devel/kicad-footprints-ac8de318d8ef7b3eb64c78c6c2650b7b085f3271/Connector_Audio.pretty/
H A DJack_XLR_Neutrik_NC3FAAH-0_Horizontal.kicad_mod2 …(descr "AA Series, 3 pole female XLR receptacle, grounding: without ground/shell contact, horizont…
H A DJack_XLR_Neutrik_NC3FAH-0_Horizontal.kicad_mod2 …(descr "A Series, 3 pole female XLR receptacle, grounding: without ground/shell contact, horizonta…

12345678910>>...17