Searched refs:d_bool (Results 1 – 5 of 5) sorted by relevance
31 case BOOL: d_bool = other.d_bool; break; in EvalResult()55 case BOOL: d_bool = other.d_bool; break; in operator =()103 case EvalResult::BOOL: return nm->mkConst(d_bool); in toNode()210 results[currNode] = EvalResult(!(results[currNode[0]].d_bool)); in evalInternal()216 bool res = results[currNode[0]].d_bool; in evalInternal()219 res = res && results[currNode[i]].d_bool; in evalInternal()227 bool res = results[currNode[0]].d_bool; in evalInternal()230 res = res || results[currNode[i]].d_bool; in evalInternal()554 results[currNode] = EvalResult(lhs.d_bool == rhs.d_bool); in evalInternal()590 if (results[currNode[0]].d_bool) in evalInternal()
54 bool d_bool; member62 EvalResult(bool b) : d_tag(BOOL), d_bool(b) {} in EvalResult()
125 void set_dividing_by_n(bool d_bool){dividingByN=d_bool;} in set_dividing_by_n() argument
139 Expr d_bool; variable276 const Expr& boolExpr() { return d_bool; } in boolExpr()
115 d_bool = newLeafExpr(BOOLEAN); in ExprManager()153 d_bool = Expr(); in clear()