| /dports/devel/dragon/dragon-1.5.5/src/ |
| H A D | Production.cc | 46 Production::Symbol::Symbol (const Chain& name, bool isTerm) in Symbol()
77 bool Production::Symbol::isTerm() const in isTerm() function in Production::Symbol
108 void Production::addSymbol(const Chain& token, bool isTerm) in addSymbol()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
| H A D | arith_rewriter.h | 69 static inline bool isTerm(TNode n) { in isTerm() function
|
| /dports/emulators/bsvc/bsvc-2.4.6/src/Assemblers/68kasm/ |
| H A D | opparse.c | 62 #define isTerm(c) (isspace(c) || (c == ',') || c == '\0') macro
|
| H A D | movem.c | 190 #define isTerm(c) (c == ',' || c == '/' || c == '-' || isspace(c) || !c) macro
|
| /dports/math/p5-Math-Algebra-Symbols/Math-Algebra-Symbols-1.27/lib/Math/Algebra/Symbols/ |
| H A D | Term.pm | 187 sub isTerm($) {1}; subroutine
|
| /dports/net/rospo/rospo-0.7.1/vendor/github.com/gin-gonic/gin/gin-1.7.4/ |
| H A D | logger.go | 74 isTerm bool member
|
| /dports/net/rospo/rospo-0.7.1/vendor/github.com/gin-gonic/gin/ |
| H A D | logger.go | 74 isTerm bool member
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | SubexpressionIterator.hpp | 78 bool isTerm() { return _tag == TERM; } in isTerm() function in Shell::SubexpressionIterator::Expression
|
| H A D | SimplifyFalseTrue.cpp | 398 bool isTerm = branches[branch].isTerm(); in simplify() local
|
| /dports/www/mirrorselect/mirrorselect-0.9.0/vendor/github.com/gin-gonic/gin/ |
| H A D | logger.go | 74 isTerm bool member
|
| /dports/math/stp/stp-2.3.3/tests/generated-tests/generators3/ |
| H A D | tree.cpp | 90 bool isTerm(Expr e){ in isTerm() function
|
| /dports/devel/stack/stack-2.7.3/src/Stack/ |
| H A D | Docker.hs | 219 isTerm = not (dockerDetach docker) && function
|
| /dports/cad/alliance/alliance/src/nero/src/ |
| H A D | MMBK.cpp | 876 void CFig::addphseg (phseg_list &seg, bool isTerm, bool isChip ) in addphseg()
|
| /dports/science/vipster/vipster-1.19.1b-14-g7168a1b/vipster/plugins/ |
| H A D | cpmdinput.cpp | 226 auto isTerm = [](const KPoints::Discrete::Point& p1, in CPInpParser() local
|
| /dports/lang/swi-pl/swipl-8.2.3/src/ |
| H A D | pl-data.h | 213 #define isTerm(w) (tag(w) == TAG_COMPOUND) macro
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 168 bool isTerm = lhs.isa<SDBMTermExpr>(); in print() local
|
| /dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/ |
| H A D | Expr.java | 308 public boolean isTerm() throws Cvc3Exception { in isTerm() method in Expr
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 168 bool isTerm = lhs.isa<SDBMTermExpr>(); in print() local
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 168 bool isTerm = lhs.isa<SDBMTermExpr>(); in print() local
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 168 bool isTerm = lhs.isa<SDBMTermExpr>(); in print() local
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 168 bool isTerm = lhs.isa<SDBMTermExpr>(); in print() local
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Term.hpp | 121 inline bool isTerm() const in isTerm() function in Kernel::TermList
|
| /dports/math/stp/stp-2.3.3/lib/ToSat/ASTNode/ |
| H A D | ASTtoCNF.cpp | 175 bool ASTtoCNF::isTerm(CNFInfo& x) in isTerm() function in stp::ASTtoCNF
|
| /dports/lang/mono/mono-5.10.1.57/mcs/mcs/ |
| H A D | cs-tokenizer.cs | 2906 bool pp_expr (ref string s, bool isTerm) in pp_expr()
|
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | expr.h | 1021 inline bool Expr::isTerm() const { return !getType().isBool(); } in isTerm() function
|