Searched refs:isTester (Results 1 – 16 of 16) sorted by relevance
84 static int isTester(Node n, Node& a);86 static int isTester(Node n);
207 else if (tn.isTester()) in getOperatorKindForSygusBuiltin()573 int DatatypesRewriter::isTester(Node n, Node& a) in isTester() function in CVC4::theory::datatypes::DatatypesRewriter583 int DatatypesRewriter::isTester(Node n) in isTester() function in CVC4::theory::datatypes::DatatypesRewriter601 Assert(n.getType().isConstructor() || n.getType().isTester() in indexOf()
489 int tindex = DatatypesRewriter::isTester( atom, t_arg ); in assertFact()974 int tindex = DatatypesRewriter::isTester( lbl ); in getLabelIndex()
629 bool isTester() const;934 if(isTester()) { in getRangeType()986 inline bool TypeNode::isTester() const { in isTester() function
282 bool Type::isTester() const { in isTester() function in CVC4::Type284 return d_typeNode->isTester(); in isTester()472 PrettyCheckArgument(isNull() || isTester(), this); in TesterType()
371 bool isTester() const;
292 if(isTester()) { in getArgTypes()
264 } else if (t.isTester()) { in markOverloaded()
76 item.getType().isTester() || in indexOf()
801 testerType.isTester() && in checkResolvedDatatype()
143 inline bool isTester(const Expr& e) in isTester() function
101 CHECK_SOUND(isTester(e), "Tester expected"); in rewriteTestCons()
296 else if (isTester(sigNew) && isConstructor(sigNew[0])) { in update()
330 else if (isTester(e)) { in rewrite()398 else if (isTester(sigNew) && isConstructor(sigNew[0])) { in update()
154 } else if(t.isTester()) { in getKindForFunction()195 return type.isFunction() || type.isConstructor() || type.isTester() || in isFunctionLike()
84 int tst = datatypes::DatatypesRewriter::isTester(sbl[0], a); in initialize()