cprover
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 121 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 465 of file miniBDD.cpp.

References high, low, and var.

Member Data Documentation

§ high

unsigned mini_bdd_mgrt::reverse_keyt::high

Definition at line 123 of file miniBDD.h.

Referenced by operator<().

§ low

unsigned mini_bdd_mgrt::reverse_keyt::low

Definition at line 123 of file miniBDD.h.

Referenced by operator<().

§ var

unsigned mini_bdd_mgrt::reverse_keyt::var

Definition at line 123 of file miniBDD.h.

Referenced by operator<().


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