39 [[nodiscard]] Formula VisitFalse(
const Formula &f, Args...)
const override {
return f; }
40 [[nodiscard]] Formula VisitTrue(
const Formula &f, Args...)
const override {
return f; }
41 [[nodiscard]] Formula VisitVariable(
const Formula &f, Args...)
const override {
return f; }
42 [[nodiscard]] Formula VisitEqualTo(
const Formula &f, Args...)
const override {
return f; }
43 [[nodiscard]] Formula VisitNotEqualTo(
const Formula &f, Args...)
const override {
return f; }
44 [[nodiscard]] Formula VisitGreaterThan(
const Formula &f, Args...)
const override {
return f; }
45 [[nodiscard]] Formula VisitGreaterThanOrEqualTo(
const Formula &f, Args...)
const override {
return f; }
46 [[nodiscard]] Formula VisitLessThan(
const Formula &f, Args...)
const override {
return f; }
47 [[nodiscard]] Formula VisitLessThanOrEqualTo(
const Formula &f, Args...)
const override {
return f; }
48 [[nodiscard]] Formula VisitConjunction(
const Formula &f, Args...)
const override {
return f; }
49 [[nodiscard]] Formula VisitDisjunction(
const Formula &f, Args...)
const override {
return f; }
50 [[nodiscard]] Formula VisitNegation(
const Formula &f, Args...)
const override {
return f; }
51 [[nodiscard]] Formula VisitForall(
const Formula &f, Args...)
const override {
return f; }
1.11.0