CaDiCaL::Range Class Reference

#include <range.hpp>

Public Member Functions
iterator	begin () const
iterator	end () const
	Range (int &m)

Detailed Description

Definition at line 53 of file range.hpp.

Constructor & Destructor Documentation

Range()

CaDiCaL::Range::Range ( int & m )

inline

Definition at line 71 of file range.hpp.

: n (m) { CADICAL_assert (m >= 0); }

Member Function Documentation

begin()

iterator CaDiCaL::Range::begin ( ) const

inline

Definition at line 69 of file range.hpp.

{ return CADICAL_assert (n >= 0), iterator (inc (0)); }

end()

iterator CaDiCaL::Range::end ( ) const

inline

Definition at line 70 of file range.hpp.

{ return CADICAL_assert (n >= 0), iterator (inc (n)); }

---

The documentation for this class was generated from the following file:

• src/sat/cadical/range.hpp