/dports/math/vampire/vampire-4.5.1/FMB/ |
H A D | FiniteModelBuilder.cpp | 1029 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 D | FiniteModelBuilder.hpp | 54 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 D | README.md | 10 grounding: 18 grounding: 27 grounding:
|
/dports/devel/upp/upp/uppsrc/CppBase/ |
H A D | Internal.h | 206 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 D | cpplex.cpp | 151 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 D | README.md | 16 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 D | README.md | 16 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 D | CHANGES.md | 37 * 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 D | TODO.md | 34 - 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 D | testsemlpad.pl | 33 set(grounding,variables), 72 %mendels, %ok only with grounding=variables
|
H A D | semlpad.pl | 26 %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 D | testsemlpadsld.pl | 33 set(grounding,variables),
|
H A D | semlpadsld.pl | 22 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 D | README | 7 - 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 D | README.md | 6 Embedding python code to implement a function evaluated during grounding:
|
/dports/graphics/opendx/dx-4.4.4/help/ |
H A D | dxall114 | 7 A review of these examples will provide a good grounding in
|
/dports/graphics/gmt/gmt-6.3.0/doc/rst/source/ |
H A D | explain_-A.rst_ | 12 add **g** to select the ice grounding line instead. For expert
|
H A D | explain_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 D | words.n.1.gerund | 31 grounding.n
|
/dports/databases/sqsh/sqsh-2.5/ |
H A D | README | 13 shell, such as variables, aliasing, redirection, pipes, back-grounding,
|
/dports/cad/pcb/pcb-4.2.0/lib/pcblib-newlib/amp/ |
H A D | AMP_MICTOR_767054_1.fp | 127 # now add the center row of grounding pins
|
H A D | AMP_MICTOR_767054_2.fp | 241 # now add the center row of grounding pins
|
/dports/databases/sqsh/sqsh-2.5/doc/ |
H A D | README.bin | 21 aliasing, redirection, pipes, back-grounding, job control, history,
|
/dports/cad/kicad-library-footprints-devel/kicad-footprints-ac8de318d8ef7b3eb64c78c6c2650b7b085f3271/Connector_Audio.pretty/ |
H A D | Jack_XLR_Neutrik_NC3FAAH-0_Horizontal.kicad_mod | 2 …(descr "AA Series, 3 pole female XLR receptacle, grounding: without ground/shell contact, horizont…
|
H A D | Jack_XLR_Neutrik_NC3FAH-0_Horizontal.kicad_mod | 2 …(descr "A Series, 3 pole female XLR receptacle, grounding: without ground/shell contact, horizonta…
|