Minisat::IntRange Struct Reference

#include <Options.h>

Public Member Functions
	IntRange (int b, int e)

Data Fields
int	begin
int	end

Detailed Description

Definition at line 96 of file Options.h.

Constructor & Destructor Documentation

Minisat::IntRange::IntRange ( int  b, int  e  )

inline

Definition at line 99 of file Options.h.

: begin(b), end(e) {}

Field Documentation

int Minisat::IntRange::begin

Definition at line 97 of file Options.h.

int Minisat::IntRange::end

Definition at line 98 of file Options.h.

---

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

• Options.h