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

Classes | Public Member Functions | Private Types | Private Attributes

VariableInfo Class Reference

Inheritance diagram for VariableInfo:
Inheritance graph
Collaboration diagram for VariableInfo:
Collaboration graph

List of all members.


struct  ConstructionIndex

Public Member Functions

void addConditionVariables (const NatSet &vars)
void addUnboundVariables (const NatSet &vars)
int computeIndexRemapping ()
void endOfFragment ()
const NatSetgetConditionVariables () const
int getNrProtectedVariables () const
int getNrRealVariables () const
const NatSetgetUnboundVariables () const
Termindex2Variable (int index) const
int makeConstructionIndex ()
int makeProtectedVariable ()
int remapIndex (int original)
void useIndex (int index)
int variable2Index (VariableTerm *variableTerm)

Private Types

enum  Values { MAX_NR_PROTECTED_VARIABLES = 10000000 }

Private Attributes

NatSet conditionVariables
Vector< ConstructionIndexconstructionIndices
int fragmentNumber
int nrProtectedVariables
NatSet unboundVariables
Vector< Term * > variables

Detailed Description

Definition at line 32 of file variableInfo.hh.

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

Generated by  Doxygen 1.6.0   Back to index