Home
last modified time | relevance | path

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 DPrinter.hs202 isNegate (Unary _ Negate _) = True function
203 isNegate _ = False function
/dports/databases/cego/cego-2.47.11/src/
H A DCegoProcPred.cc42 CegoProcPred::CegoProcPred(CegoExpr* pExpr1, bool isNegate) in CegoProcPred()
/dports/databases/cegobridge/cegobridge-1.6.1/src/
H A DPostgresFormater.cc544 … mode, CegoExpr* pExpr1, CegoExpr* pExpr2, CegoComparison comp, CegoProcCond* pCond, bool isNegate) in formatProcPred()
H A DMySQLFormater.cc1384 … mode, CegoExpr* pExpr1, CegoExpr* pExpr2, CegoComparison comp, CegoProcCond* pCond, bool isNegate) in formatProcPred()
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dterm_util.cpp652 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 Dgenerator.c1288 gboolean isNegate; in generate_conditional() local
/dports/math/libqalculate/libqalculate-3.17.0/libqalculate/
H A DMathStructure.cc731 bool MathStructure::isNegate() const {return m_type == STRUCT_NEGATE;} in isNegate() function in MathStructure