Minisat::Int64Range Struct Reference

#include <Options.h>

Public Member Functions
	Int64Range (int64_t b, int64_t e)

Data Fields
int64_t	begin
int64_t	end

Detailed Description

Definition at line 111 of file Options.h.

Constructor & Destructor Documentation

Int64Range()

Minisat::Int64Range::Int64Range ( int64_t  b, int64_t  e  )

inline

Definition at line 116 of file Options.h.

Field Documentation

begin

int64_t Minisat::Int64Range::begin

Definition at line 113 of file Options.h.

end

int64_t Minisat::Int64Range::end

Definition at line 114 of file Options.h.

---

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

• smtrat-modules/SATModule/Options.h