Home
last modified time | relevance | path

Searched defs:ContextNotifyObj (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dcontext.h44 class ContextNotifyObj; variable
428 ContextNotifyObj(Context* context): d_context(context) in ContextNotifyObj() function
/dports/math/cvc4/CVC4-1.7/src/context/
H A Dcontext.cpp304 ContextNotifyObj::ContextNotifyObj(Context* pContext, bool preNotify) { in ContextNotifyObj() function in CVC4::context::ContextNotifyObj
H A Dcontext.h41 class ContextNotifyObj; variable
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dbv_inequality_graph.h213 : ContextNotifyObj(c), in ContextNotifyObj() function