CaDiCaL::Sange Class Reference

#include <range.hpp>

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

Detailed Description

Definition at line 80 of file range.hpp.

Constructor & Destructor Documentation

Sange()

CaDiCaL::Sange::Sange ( int & m )

inline

Definition at line 98 of file range.hpp.

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

Member Function Documentation

begin()

iterator CaDiCaL::Sange::begin ( ) const

inline

Definition at line 96 of file range.hpp.

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

end()

iterator CaDiCaL::Sange::end ( ) const

inline

Definition at line 97 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