Searched defs:isITE (Results 1 – 6 of 6) sorted by relevance
100 bool isITE() const in isITE() function
340 public boolean isITE() in isITE() method in Expr
343 public boolean isITE() in isITE() method in Expr
367 public boolean isITE() throws Cvc3Exception { in isITE() method in Expr
565 bool isITE() const { return functor() == SF_ITE; } in isITE() function in Kernel::Term
423 bool isITE() const { return getKind() == ITE; } in isITE() function