Searched defs:isNegate (Results 1 – 7 of 7) sorted by relevance
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/CodeGen/JS/ |
H A D | Printer.hs | 202 isNegate (Unary _ Negate _) = True function 203 isNegate _ = False function
|
/dports/databases/cego/cego-2.47.11/src/ |
H A D | CegoProcPred.cc | 42 CegoProcPred::CegoProcPred(CegoExpr* pExpr1, bool isNegate) in CegoProcPred()
|
/dports/databases/cegobridge/cegobridge-1.6.1/src/ |
H A D | PostgresFormater.cc | 544 … mode, CegoExpr* pExpr1, CegoExpr* pExpr2, CegoComparison comp, CegoProcCond* pCond, bool isNegate) in formatProcPred()
|
H A D | MySQLFormater.cc | 1384 … mode, CegoExpr* pExpr1, CegoExpr* pExpr2, CegoComparison comp, CegoProcCond* pCond, bool isNegate) in formatProcPred()
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | term_util.cpp | 652 bool TermUtil::isNegate(Kind k) in isNegate() function in CVC4::theory::quantifiers::TermUtil
|
/dports/devel/libical/libical-3.0.8/src/libical-glib/tools/ |
H A D | generator.c | 1288 gboolean isNegate; in generate_conditional() local
|
/dports/math/libqalculate/libqalculate-3.17.0/libqalculate/ |
H A D | MathStructure.cc | 731 bool MathStructure::isNegate() const {return m_type == STRUCT_NEGATE;} in isNegate() function in MathStructure
|