abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
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 102 of file Options.h.

Constructor & Destructor Documentation

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

Definition at line 105 of file Options.h.

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

Field Documentation

int64_t Minisat::Int64Range::begin

Definition at line 103 of file Options.h.

int64_t Minisat::Int64Range::end

Definition at line 104 of file Options.h.


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