Searched refs:references_strict (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
| H A D | theory_sep.cpp | 873 std::map<int, std::map<Node, bool> > references_strict; in ppNotifyAssertions() local
876 processAssertion(assertions[i], visited, references, references_strict, in ppNotifyAssertions()
891 …e, std::vector< Node > > >& references, std::map< int, std::map< Node, bool > >& references_strict, in processAssertion()
904 references_strict[index][n] = true; in processAssertion()
926 references_strict[index][n] = true; in processAssertion()
938 …int ccard = processAssertion( n[i], visited, references, references_strict, newPol, newHasPol, new… in processAssertion()
952 if( references_strict[newIndex].find( n[i] )!=references_strict[newIndex].end() ){ in processAssertion()
954 if( references_strict[index].find( n )==references_strict[index].end() ){ in processAssertion()
955 references_strict[index][n] = true; in processAssertion()
980 references_strict[index][n] = true; in processAssertion()
[all …]
|
| H A D | theory_sep.h | 62 …e, std::vector< Node > > >& references, std::map< int, std::map< Node, bool > >& references_strict,
|