Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.h63 bool pol, bool hasPol, bool underSpatial );
H A Dtheory_sep.cpp892 bool pol, bool hasPol, bool underSpatial ) { in processAssertion() argument
932 bool newUnderSpatial = underSpatial || isSpatial; in processAssertion()
989 if( !underSpatial && ( !references[index][n].empty() || card>0 ) ){ in processAssertion()