18 virtual std::string infeasibility() = 0;
19 virtual std::string infeasibilityCause() = 0;
20 double slackValue()
const;
23 const std::vector<std::string>& splitName()
const;
26 std::vector<std::string> splitName_;
32 using WatchedConstraint::WatchedConstraint;
36 std::string infeasibility()
override;
37 std::string infeasibilityCause()
override;
42 using WatchedConstraint::WatchedConstraint;
46 std::string infeasibility()
override;
47 std::string infeasibilityCause()
override;
52 using WatchedConstraint::WatchedConstraint;
56 std::string infeasibility()
override;
57 std::string infeasibilityCause()
override;
62 using WatchedConstraint::WatchedConstraint;
66 std::string infeasibility()
override;
67 std::string infeasibilityCause()
override;
72 using WatchedConstraint::WatchedConstraint;
76 std::string infeasibility()
override;
77 std::string infeasibilityCause()
override;
82 using WatchedConstraint::WatchedConstraint;
85 ~STS()
override =
default;
86 std::string infeasibility()
override;
87 std::string infeasibilityCause()
override;
92 using WatchedConstraint::WatchedConstraint;
96 std::string infeasibility()
override;
97 std::string infeasibilityCause()
override;
104 std::unique_ptr<WatchedConstraint> create(
const std::string&,
const double)
const;
105 std::regex constraintsFilter();
108 std::map<std::string,
109 std::function<std::unique_ptr<WatchedConstraint>(
const std::string&,
const double)>>
Definition watched-constraints.h:101
Definition watched-constraints.h:41
Definition watched-constraints.h:61
Definition watched-constraints.h:31
Definition watched-constraints.h:71
Definition watched-constraints.h:91
Definition watched-constraints.h:81
Definition watched-constraints.h:14
Definition watched-constraints.h:51
Definition constraint-slack-analysis.cpp:45