Searched refs:getPlusKind (Results 1 – 3 of 3) sorted by relevance
563 Kind getPlusKind( TypeNode tn, bool is_neg = false );
1328 Kind pk = tds->getPlusKind(TypeNode::fromType(dt.getSygusType())); in builtinToSygusConst()1337 tds->getPlusKind(TypeNode::fromType(dt.getSygusType()), true); in builtinToSygusConst()
1351 Kind TermDbSygus::getPlusKind( TypeNode tn, bool is_neg ) { in getPlusKind() function in CVC4::theory::quantifiers::TermDbSygus