77   IfThenResultExprImpl(const BoolExpr& cond,  in IfThenResultExprImpl()
97   BoolExpr cond_;
149   explicit NegateBoolExprImpl(const BoolExpr& cond) : cond_(cond) {}  in NegateBoolExprImpl()
160   BoolExpr cond_;
167   AndBoolExprImpl(const BoolExpr& lhs, const BoolExpr& rhs)  in AndBoolExprImpl()
180   BoolExpr lhs_;
181   BoolExpr rhs_;
188   OrBoolExprImpl(const BoolExpr& lhs, const BoolExpr& rhs)  in OrBoolExprImpl()
201   BoolExpr lhs_;
202   BoolExpr rhs_;
235 BoolExpr ArgEq(int num, size_t size, uint64_t mask, uint64_t val) {  in ArgEq()
240   return BoolExpr(new const MaskedEqualBoolExprImpl(num, size, mask, val));  in ArgEq()
272 BoolExpr BoolConst(bool value) {  in BoolConst()
273   return BoolExpr(new const ConstBoolExprImpl(value));  in BoolConst()
276 BoolExpr Not(const BoolExpr& cond) {  in Not()
277   return BoolExpr(new const NegateBoolExprImpl(cond));  in Not()
280 BoolExpr AllOf() {  in AllOf()
284 BoolExpr AllOf(const BoolExpr& lhs, const BoolExpr& rhs) {  in AllOf()
285   return BoolExpr(new const AndBoolExprImpl(lhs, rhs));  in AllOf()
288 BoolExpr AnyOf() {  in AnyOf()
292 BoolExpr AnyOf(const BoolExpr& lhs, const BoolExpr& rhs) {  in AnyOf()
293   return BoolExpr(new const OrBoolExprImpl(lhs, rhs));  in AnyOf()
296 Elser If(const BoolExpr& cond, const ResultExpr& then_result) {  in If()
309 Elser Elser::ElseIf(const BoolExpr& cond, const ResultExpr& then_result) const {  in ElseIf()