Home
last modified time | relevance | path

Searched defs:isITE (Results 1 – 6 of 6) sorted by relevance

/dports/math/stp/stp-2.3.3/include/stp/AST/
H A DASTNode.h100 bool isITE() const in isITE() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/java/
H A DExpr.java340 public boolean isITE() in isITE() method in Expr
/dports/math/z3/z3-z3-4.8.13/src/api/java/
H A DExpr.java343 public boolean isITE() in isITE() method in Expr
/dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/
H A DExpr.java367 public boolean isITE() throws Cvc3Exception { in isITE() method in Expr
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DTerm.hpp565 bool isITE() const { return functor() == SF_ITE; } in isITE() function in Kernel::Term
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dexpr.h423 bool isITE() const { return getKind() == ITE; } in isITE() function