cprover
Loading...
Searching...
No Matches
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: