Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.cpp73 d_extTheory(NULL), in Theory()
90 delete d_extTheory; in ~Theory()
329 Assert(d_extTheory != NULL); in getExtTheory()
330 return d_extTheory; in getExtTheory()
363 Assert(d_extTheory == NULL); in setupExtTheory()
364 d_extTheory = new ExtTheory(this); in setupExtTheory()
H A Dtheory.h138 ExtTheory* d_extTheory; variable