convex::AtomLike Concept Reference

Concept for any convex atom node in the expression tree. More...

#include <convex_traits.hpp>

Concept definition

template<typename Atom>
concept convex::AtomLike =  requires(const Atom& atom) {
  { atom.validate_domain() } -> std::convertible_to<void>;
  { atom.children };
}

Detailed Description

Concept for any convex atom node in the expression tree.

Definition at line 453 of file convex_traits.hpp.