/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | Grounding.cpp | 41 Grounding::GroundingApplicator::GroundingApplicator() in GroundingApplicator() 57 void Grounding::GroundingApplicator::initForClause(Clause* cl) in initForClause() 77 bool Grounding::GroundingApplicator::newAssignment() in newAssignment() 95 TermList Grounding::GroundingApplicator::apply(unsigned var) in apply() 100 ClauseList* Grounding::ground(Clause* cl) in ground() 124 ClauseList* Grounding::simplyGround(ClauseIterator clauses) in simplyGround() 128 Grounding g; in simplyGround() 139 void Grounding::getLocalEqualityAxioms(unsigned sort, bool otherThanReflexivity, ClauseList*& acc) in getLocalEqualityAxioms() 159 ClauseList* Grounding::getEqualityAxioms(bool otherThanReflexivity) in getEqualityAxioms()
|
H A D | Grounding.hpp | 40 class Grounding class
|
/dports/math/vampire/vampire-4.5.1/ |
H A D | vground.cpp | 98 … ClauseList* eqAxioms=Grounding::getEqualityAxioms(prb->getProperty()->positiveEqualityAtoms()!=0); in groundingMode() 103 Grounding gnd; in groundingMode()
|
H A D | vampire.cpp | 802 ClauseList* eqAxioms = Grounding::getEqualityAxioms( in groundingMode() 810 Grounding gnd; in groundingMode()
|
H A D | Makefile | 358 Shell/Grounding.o\
|
/dports/math/clingo/clingo-5.5.1/examples/clingo/iclingo/ |
H A D | README.md | 1 # Incremental Grounding and Solving
|
/dports/graphics/gmt/gmt-6.3.0/doc/examples/ex42/ |
H A D | ex42.sh | 26 S 0.4c s 0.3c lightbrown 0.25p 0.75c Grounding line
|
H A D | ex42.bat | 24 echo S 0.4c s 0.5c lightbrown 0.25p 0.75c Grounding line >> legend.txt
|
/dports/devel/upp/upp/uppsrc/CodeEditor/ |
H A D | CSyntax.cpp | 92 void CSyntax::Grounding(const wchar *b, const wchar *e) in Grounding() function in Upp::CSyntax 106 Grounding(ln, e); in ScanSyntax()
|
H A D | CSyntax.h | 64 void Grounding(const wchar *ln, const wchar *e);
|
H A D | CHighlight.cpp | 183 Grounding(p, e); in Highlight()
|
/dports/science/elmerfem/elmerfem-release-9.0/elmerice/Tests/GL_MISMIP/ |
H A D | mismip.sif | 384 ! Grounding Line Definition = String "Last Grounded" 385 Grounding Line Definition = String "Discontinuous" 386 ! Grounding Line Definition = String "First Floating"
|
/dports/cad/qelectrotech/qet-0.7.0/elements/10_electric/10_allpole/130_terminals&terminal_strips/90_terminal_strips_diagram/ |
H A D | 90-10-0121.elmt | 6 <name lang="en">Terminal (Grounding)</name>
|
/dports/games/pcgen/pcgen/data/pathfinder/paizo/roleplaying_game/ultimate_equipment/ |
H A D | ue_abilities.lst | 45 Unarmed Grounding CATEGORY:Special Ability TYPE:UnarmedDisplay ASPECT:UnarmedNotes|see item desc…
|
H A D | ue_equipmods.lst | 163 Grounding KEY:GROUNDING TYPE:Weapon.Melee PLUS:1 VISIBLE:QUALIFY SOURCEPAGE:p.143… 267 Grounding KEY:GROUNDING_AMF TYPE:AmuletOfMightyFists PLUS:1 VISIBLE:QUALIFY SOURCEPAGE:p.143 PRET…
|
/dports/devel/upp/upp/uppsrc/ide/app.tpp/ |
H A D | AssistParserDirectives_en-us.tpp | 25 [s0; [^topic`:`/`/ide`/app`/AssistParserDirectives`_en`-us`#4^ 4. Grounding 143 [s10;:4: 4. Grounding heuristics&]
|
/dports/cad/qelectrotech/qet-0.7.0/elements/10_electric/98_graphics/99_assembly_plan/01_thumbnails_mounting_plate/ |
H A D | borne-terre.elmt | 8 <name lang="en">Terminal (Grounding)</name>
|
/dports/devel/upp/upp/uppsrc/CppBase/ |
H A D | cpplex.cpp | 369 throw Grounding(); in Get()
|
H A D | Internal.h | 228 struct Grounding {}; struct
|
H A D | Parser.cpp | 1320 catch(Lex::Grounding) { in Scope() 1550 throw Lex::Grounding(); in Do() 1769 catch(Lex::Grounding) { in Do()
|
/dports/science/elmerfem/elmerfem-release-9.0/elmerice/Tests/Contact/ |
H A D | cavity.sif | 351 Grounding Line Definition = String "Last Grounded"
|
/dports/science/elmerfem/elmerfem-release-9.0/elmerice/Tests/MISMIP_FS-SSA/ |
H A D | coupled.sif | 600 Grounding Line Definition = String "Discontinuous"
|
/dports/science/elmerfem/elmerfem-release-9.0/elmerice/Tests/Calving2D/ |
H A D | calving2d.sif | 687 Grounding Line Definition = String "Discontinuous"
|
/dports/sysutils/fluxengine/fluxengine-61ff48c/doc/ |
H A D | building.md | 96 ### Grounding subsection
|
/dports/lang/yap/yap-6.2.2/packages/ProbLog/ |
H A D | problog.yap | 1528 split_grounding_id(Composed,Fact,Grounding) :- 1532 name(Grounding,G). 1533 split_g_id([95|Grounding],[],Grounding) :- !.
|