Home
last modified time | relevance | path

Searched defs:OptionValueConstraintOrWrapper (Results 1 – 1 of 1) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DOptions.hpp1461 struct OptionValueConstraintOrWrapper : public OptionValueConstraint<T>{ struct in Shell::Options
1464OptionValueConstraintOrWrapper(OptionValueConstraintUP<T> l, OptionValueConstraintUP<T> r) : left(… in OptionValueConstraintOrWrapper() function
1465 bool check(const OptionValue<T>& value){ in check()
1468 … vstring msg(const OptionValue<T>& value){ return left->msg(value) + " or " + right->msg(value); } in msg()
1470 OptionValueConstraintUP<T> left;
1471 OptionValueConstraintUP<T> right;