Logo Search packages:      
Sourcecode: maude version File versions  Download package

Classes | Public Member Functions | Private Types | Private Member Functions | Static Private Member Functions | Private Attributes

SortBdds Class Reference

Inheritance diagram for SortBdds:
Inheritance graph
Collaboration diagram for SortBdds:
Collaboration graph

List of all members.


struct  ComponentInfo

Public Member Functions

int getFirstAvailableVariable () const
Bdd getGtRelation (int componentIndex) const
Bdd getLeqRelation (int sortIndex) const
int getNrVariables (int componentIndex) const
const Vector< Bdd > & getSortFunction (Symbol *symbol) const
Bdd makeIndexBdd (int firstVariable, int nrVariables, int index) const
void makeIndexVector (int nrBdds, int index, Vector< Bdd > &vec) const
Bdd makeVariableBdd (int firstVariable, int nrVariables) const
void makeVariableVector (int firstVariable, int nrVariables, Vector< Bdd > &vec) const
 SortBdds (Module *module)

Private Types

typedef void ErrorHandler (int errorNr)

Private Member Functions

int calculateNrBits (int nrIndicies)

Static Private Member Functions

static void dump (ostream &s, bdd root)
static bdd ithvar (int i)
static bdd nithvar (int i)
static void setErrorHandler (ErrorHandler *errHandler)
static void setNrVariables (int nrVariables)

Private Attributes

Vector< ComponentInfocomponentInfo
Vector< BddleqRelations
int maxNrVariables
Vector< Vector< Bdd > > sortFunctions

Detailed Description

Definition at line 34 of file sortBdds.hh.

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

Generated by  Doxygen 1.6.0   Back to index