Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dcallbacks.cpp50 d_ta.releaseArithVar(v); in release()
H A Dpartial_model.h181 void releaseArithVar(ArithVar v);
H A Dtheory_arith_private.h134 void releaseArithVar(ArithVar v);
H A Dpartial_model.cpp193 void ArithVariables::releaseArithVar(ArithVar v){ in releaseArithVar() function in CVC4::theory::arith::ArithVariables
H A Dtheory_arith_private.cpp1729 void TheoryArithPrivate::releaseArithVar(ArithVar v){ in releaseArithVar() function in CVC4::theory::arith::TheoryArithPrivate
1733 d_partialModel.releaseArithVar(v); in releaseArithVar()
2933 releaseArithVar(v); in replayLogRec()
5833 releaseArithVar(optVar); in entailmentCheckSimplex()