Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dinst_propagator.h93 STATUS_MERGED_KNOWN, enumerator
H A Dinst_propagator.cpp251 status = STATUS_MERGED_KNOWN; in setEqual()
266 status = STATUS_MERGED_KNOWN; in setEqual()
801 if( status==EqualityQueryInstProp::STATUS_MERGED_KNOWN ){ in propagate()