10 namespace requirements
16 template<
bool Lightweight = true>
27 throw std::runtime_error(
"Priority level must be non-negative.");
#define TVM_DEFINE_LW_NON_LW_CONVERSION_OPERATORS(className, T, L)
Definition: SingleSolvingRequirement.h:79
Definition: PriorityLevel.h:18
PriorityLevelBase(int p)
Definition: PriorityLevel.h:24
PriorityLevelBase()
Definition: PriorityLevel.h:21
Definition: SingleSolvingRequirement.h:26
SingleSolvingRequirement(const int &val, bool isDefault)
Definition: SingleSolvingRequirement.h:48