Clingo
Loading...
Searching...
No Matches
CppClingo::Util::Record::ValidArguments Concept Reference
Internal C++ API » Utility » Records

Concept requiring arguments to be valid. More...

#include <record.hh>

Concept definition

template<class Rec, class... Args>
concept CppClingo::Util::Record::ValidArguments = (is_valid_argument<Args>(Rec::attributes()) && ...) && check_unique_arguments<Args...>()
CppClingo::Util::Record::ValidArguments
Concept requiring arguments to be valid.
Definition record.hh:81
CppClingo::Util::Record::check_unique_arguments
constexpr auto check_unique_arguments()
Check if all arguments are unique.
Definition record.hh:72

Detailed Description

Concept requiring arguments to be valid.