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

Public Member Functions

FreshVariableGenerator Class Reference

Inheritance diagram for FreshVariableGenerator:
Inheritance graph

List of all members.

Public Member Functions

virtual SymbolgetBaseVariableSymbol (Sort *sort)=0
virtual int getFreshVariableName (int index)=0
virtual bool variableNameConflict (int id)=0

Detailed Description

Definition at line 29 of file freshVariableGenerator.hh.

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

Generated by  Doxygen 1.6.0   Back to index