Searched refs:ExpressionIsAffineBoolean (Results 1 – 3 of 3) sorted by relevance
134 bool ExpressionIsAffineBoolean(const LinearExpressionProto& expr) const;
186 bool PresolveContext::ExpressionIsAffineBoolean( in ExpressionIsAffineBoolean() function in operations_research::sat::PresolveContext
713 if (context_->ExpressionIsAffineBoolean(expr)) {736 if (context_->ExpressionIsAffineBoolean(target)) {764 if (!context_->ExpressionIsAffineBoolean(expr)) {