ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
Minisat::DoubleRange Struct Reference

#include <Options.h>

Public Member Functions

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

Public Attributes

double begin
 
double end
 
bool begin_inclusive
 
bool end_inclusive
 

Detailed Description

Definition at line 110 of file Options.h.

Constructor & Destructor Documentation

◆ DoubleRange()

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

Definition at line 115 of file Options.h.

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

Member Data Documentation

◆ begin

double Minisat::DoubleRange::begin

Definition at line 111 of file Options.h.

◆ begin_inclusive

bool Minisat::DoubleRange::begin_inclusive

Definition at line 113 of file Options.h.

◆ end

double Minisat::DoubleRange::end

Definition at line 112 of file Options.h.

◆ end_inclusive

bool Minisat::DoubleRange::end_inclusive

Definition at line 114 of file Options.h.

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