Minisat::DoubleRange Struct Reference

#include <Options.h>

Public Member Functions
	DoubleRange (double b, bool binc, double e, bool einc)

Data Fields
double	begin
double	end
bool	begin_inclusive
bool	end_inclusive

Detailed Description

Definition at line 108 of file Options.h.

Constructor & Destructor Documentation

Minisat::DoubleRange::DoubleRange ( double  b, bool  binc, double  e, bool  einc  )

inline

Definition at line 113 of file Options.h.

: begin(b), end(e), begin_inclusive(binc), end_inclusive(einc) {}

Field Documentation

double Minisat::DoubleRange::begin

Definition at line 109 of file Options.h.

bool Minisat::DoubleRange::begin_inclusive

Definition at line 111 of file Options.h.

double Minisat::DoubleRange::end

Definition at line 110 of file Options.h.

bool Minisat::DoubleRange::end_inclusive

Definition at line 112 of file Options.h.

---

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

• Options.h