| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/matcher/schema/ |
| H A D | expression_internal_schema_cond.h | 53 const MatchExpression* thenBranch() const { in thenBranch() function
|
| H A D | expression_internal_schema_cond_test.cpp | 46 BSONObj thenBranch, in createCondMatchExpression()
|
| /dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/iterators/ |
| H A D | CCuddNavigator.h | 92 self thenBranch() const { return self(*this).incrementThen(); } in thenBranch() function
|
| /dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/iterators/ |
| H A D | CCuddNavigator.h | 92 self thenBranch() const { return self(*this).incrementThen(); } in thenBranch() function
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | TermTransformer.cpp | 154 TermList thenBranch = transform(*term->nthArgument(0)); in transformSpecial() local
|
| H A D | Term.cpp | 884 Term* Term::createITE(Formula * condition, TermList thenBranch, TermList elseBranch, unsigned branc… in createITE()
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | SymbolDefinitionInlining.cpp | 97 TermList thenBranch = process(*term->nthArgument(0)); in process() local
|
| H A D | Flattening.cpp | 277 TermList thenBranch = *term->nthArgument(0); in flatten() local
|
| H A D | NNF.cpp | 287 TermList thenBranch = *term->nthArgument(0); in ennf() local
|
| H A D | NewCNF.cpp | 172 TermList thenBranch = thenBranches.pop(); in process() local
557 void NewCNF::processITE(Formula* condition, Formula* thenBranch, Formula* elseBranch, Occurrences &… in processITE()
|
| H A D | FOOLElimination.cpp | 499 TermList thenBranch; in process() local
|
| /dports/math/dune-fem/dune-fem-d1c625e6d51167d0cce57de6adcef21f548a8f82/python/dune/source/ |
| H A D | cplusplus.py | 217 def __init__(self, condition, thenBranch, elseBranch=None, constexpr=False): argument
|
| /dports/math/cvc4/CVC4-1.7/test/unit/expr/ |
| H A D | node_black.h | 330 Node thenBranch = d_nodeManager->mkConst(true); in testIteNode() local
|
| /dports/devel/cppcheck-gui/cppcheck-2.6.3/lib/ |
| H A D | forwardanalyzer.cpp | 619 Branch thenBranch{endBlock}; in updateRange() local
|
| /dports/devel/cppcheck/cppcheck-2.6.3/lib/ |
| H A D | forwardanalyzer.cpp | 619 Branch thenBranch{endBlock}; in updateRange() local
|
| /dports/math/vampire/vampire-4.5.1/Parse/ |
| H A D | SMTLIB.cpp | 576 TermList thenBranch; in tryReadTermIte() local
|
| H A D | SMTLIB2.cpp | 1879 TermList thenBranch; in parseAsBuiltinTermSymbol() local
|
| /dports/lang/spidermonkey78/firefox-78.9.0/js/src/frontend/ |
| H A D | SyntaxParseHandler.h | 428 TernaryNodeType newIfStatement(uint32_t begin, Node cond, Node thenBranch, in newIfStatement()
|
| H A D | FullParseHandler.h | 675 TernaryNodeType newIfStatement(uint32_t begin, Node cond, Node thenBranch, in newIfStatement()
|
| /dports/www/firefox-legacy/firefox-52.8.0esr/js/src/frontend/ |
| H A D | FullParseHandler.h | 543 ParseNode* newIfStatement(uint32_t begin, ParseNode* cond, ParseNode* thenBranch, in newIfStatement()
|
| /dports/www/firefox-esr/firefox-91.8.0/js/src/frontend/ |
| H A D | SyntaxParseHandler.h | 464 TernaryNodeType newIfStatement(uint32_t begin, Node cond, Node thenBranch, in newIfStatement()
|
| H A D | FullParseHandler.h | 702 TernaryNodeType newIfStatement(uint32_t begin, Node cond, Node thenBranch, in newIfStatement()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/js/src/frontend/ |
| H A D | SyntaxParseHandler.h | 464 TernaryNodeType newIfStatement(uint32_t begin, Node cond, Node thenBranch, in newIfStatement()
|
| /dports/lang/spidermonkey60/firefox-60.9.0/js/src/frontend/ |
| H A D | FullParseHandler.h | 553 ParseNode* thenBranch, ParseNode* elseBranch) { in newIfStatement()
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/third_party/mozjs-45/extract/js/src/frontend/ |
| H A D | FullParseHandler.h | 536 ParseNode* newIfStatement(uint32_t begin, ParseNode* cond, ParseNode* thenBranch, in newIfStatement()
|