26 #ifndef _cvc3__variable_h_
27 #define _cvc3__variable_h_
33 class VariableManager;
36 class SearchEngineRules;
100 unsigned&
count(
bool neg);
102 int&
score(
bool neg);
103 bool&
added(
bool neg);
105 unsigned count(
bool neg)
const;
107 int score(
bool neg)
const;
108 bool added(
bool neg)
const;
110 std::vector<std::pair<Clause, int> >&
wp(
bool neg)
const;
176 std::vector<std::pair<Clause, int> >&
wp()
const
196 std::ostream&
operator<<(std::ostream& os,
const Literal& l);
231 std::vector<std::pair<Clause, int> >
d_wp;
266 if(
d_val==NULL)
return 0;
277 if(
d_thm==NULL)
return null;
283 if(
d_ante==NULL)
return null;
327 return mm->newData(size);
330 mm->deleteData(pMem);
332 void operator delete(
void*) { }
354 inline std::vector<std::pair<Clause, int> >&
Variable::wp(
bool neg)
const {
402 const std::string& mmFlag);