sat::clause_like Concept Reference

#include <Clause.hpp>

Concept definition

template<typename T>
concept sat::clause_like =  concepts::typed_range<T, Literal>

Detailed Description

Concept modeling a clause. A clause is some range of literals, i.e. it must have accessible members begin() and end() that return an iterator to the first or pas the end elements respectively. For example std::vector<Literal> satisfies this concept.