Home
last modified time | relevance | path

Searched refs:newUnderSpatial (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.cpp932 bool newUnderSpatial = underSpatial || isSpatial; in processAssertion() local
938 …ocessAssertion( n[i], visited, references, references_strict, newPol, newHasPol, newUnderSpatial ); in processAssertion()
950 if( newUnderSpatial ){ in processAssertion()