Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.h289 HeapInfo() : d_computed(false) {} in HeapInfo()
291 bool d_computed; variable
H A Dtheory_sep.cpp1498 if( !d_label_model[lbl].d_computed ){ in computeLabelModel()
1499 d_label_model[lbl].d_computed = true; in computeLabelModel()