Searched refs:isBoolConnectiveTerm (Results 1 – 4 of 4) sorted by relevance
296 static bool isBoolConnectiveTerm( TNode n );
698 bool TermUtil::isBoolConnectiveTerm( TNode n ) { in isBoolConnectiveTerm() function in CVC4::theory::quantifiers::TermUtil
1804 return TermUtil::isBoolConnectiveTerm( n ) && n.getKind()!=SEP_STAR; in isHandledBoolConnective()
1502 if( TermUtil::isBoolConnectiveTerm( n ) ){ in collectCeAtoms()