CBMC
Public Member Functions | Public Attributes | List of all members
mini_bdd_mgrt::reverse_keyt Struct Reference

#include <miniBDD.h>

Public Member Functions

 reverse_keyt (unsigned _var, const mini_bddt &_low, const mini_bddt &_high)
 
bool operator< (const reverse_keyt &) const
 

Public Attributes

unsigned var
 
unsigned low
 
unsigned high
 

Detailed Description

Definition at line 125 of file miniBDD.h.

Constructor & Destructor Documentation

◆ reverse_keyt()

mini_bdd_mgrt::reverse_keyt::reverse_keyt ( unsigned  _var,
const mini_bddt &  _low,
const mini_bddt &  _high 
)

Member Function Documentation

◆ operator<()

bool mini_bdd_mgrt::reverse_keyt::operator< ( const reverse_keyt &  y) const

Definition at line 469 of file miniBDD.cpp.

Member Data Documentation

◆ high

unsigned mini_bdd_mgrt::reverse_keyt::high

Definition at line 127 of file miniBDD.h.

◆ low

unsigned mini_bdd_mgrt::reverse_keyt::low

Definition at line 127 of file miniBDD.h.

◆ var

unsigned mini_bdd_mgrt::reverse_keyt::var

Definition at line 127 of file miniBDD.h.

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