Struct Solution

• Defined in File Solution.hpp

Struct Documentation

struct Solution

Public Types

using value_type = std::pair<Variable, Node>

using reference = value_type&

using const_reference = value_type const&

using pointer = value_type*

using const_pointer = value_type const*

using iterator = typename storage_type::iterator

using const_iterator = typename storage_type::const_iterator

using size_type = size_t

using difference_type = ptrdiff_t

Public Functions

Solution() noexcept = default

explicit Solution(std::vector<Variable> const &variables)

explicit Solution(QuadPattern const &qp)

explicit Solution(TriplePattern const &tp)

Node operator[](Variable const &variable) const noexcept

Node const &operator[](size_t pos) const noexcept

Node &operator[](size_t pos) noexcept

Variable const &variable(size_t pos) const noexcept

size_t variable_count() const noexcept

size_t bound_count() const noexcept

iterator begin() noexcept

iterator end() noexcept

const_iterator begin() const noexcept

const_iterator end() const noexcept