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

#include <Options.h>

Public Member Functions

 IntRange (int b, int e)
 

Public Attributes

int begin
 
int end
 

Detailed Description

Definition at line 98 of file Options.h.

Constructor & Destructor Documentation

◆ IntRange()

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

Definition at line 101 of file Options.h.

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

Member Data Documentation

◆ begin

int Minisat::IntRange::begin

Definition at line 99 of file Options.h.

◆ end

int Minisat::IntRange::end

Definition at line 100 of file Options.h.

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