Searched refs:d_extTheory (Results 1 – 2 of 2) sorted by relevance
73 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()
138 ExtTheory* d_extTheory; variable