Home
last modified time | relevance | path

Searched refs:use_polarity (Results 1 – 1 of 1) sorted by last modified time

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.cpp454 bool use_polarity = s_atom.getKind()==kind::SEP_WAND ? !polarity : polarity; in check() local
455 if( !use_polarity ){ in check()
560 bool use_polarity = s_atom.getKind()==kind::SEP_WAND ? !polarity : polarity; in check() local
561 if( use_polarity ){ in check()
648 bool use_polarity = s_atom.getKind()==kind::SEP_WAND ? !polarity : polarity; in check() local
649 if( !use_polarity ){ in check()
672 bool use_polarity = s_atom.getKind()==kind::SEP_WAND ? !polarity : polarity; in check() local
673 …ep-process-debug") << " check atom : " << s_atom << " use polarity " << use_polarity << std::endl; in check()
674 if( !use_polarity ){ in check()