FreeTensor
Loading...
Searching...
No Matches
Public Member Functions | List of all members
freetensor::SymbolTableInterface Class Referenceabstract

#include <symbol_table.h>

Inheritance diagram for freetensor::SymbolTableInterface:
Inheritance graph
[legend]

Public Member Functions

virtual const std::unordered_set< std::string > & names () const =0
 
virtual const std::unordered_map< std::string, VarDef > & defs () const =0
 
virtual const std::unordered_map< std::string, For > & loops () const =0
 
virtual bool hasDef (const std::string &name) const =0
 
virtual const VarDef & def (const std::string &name) const =0
 
virtual Ref< Buffer > buffer (const std::string &name) const =0
 
virtual bool hasLoop (const std::string &name) const =0
 
virtual const For & loop (const std::string &name) const =0
 
virtual void pushDef (const VarDef &op)=0
 
virtual void popDef (const VarDef &op)=0
 
virtual void pushFor (const For &op)=0
 
virtual void popFor (const For &op)=0
 

Member Function Documentation

◆ buffer()

virtual Ref< Buffer > freetensor::SymbolTableInterface::buffer ( const std::string &  name) const
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ def()

virtual const VarDef & freetensor::SymbolTableInterface::def ( const std::string &  name) const
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ defs()

virtual const std::unordered_map< std::string, VarDef > & freetensor::SymbolTableInterface::defs ( ) const
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ hasDef()

virtual bool freetensor::SymbolTableInterface::hasDef ( const std::string &  name) const
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ hasLoop()

virtual bool freetensor::SymbolTableInterface::hasLoop ( const std::string &  name) const
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ loop()

virtual const For & freetensor::SymbolTableInterface::loop ( const std::string &  name) const
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ loops()

virtual const std::unordered_map< std::string, For > & freetensor::SymbolTableInterface::loops ( ) const
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ names()

virtual const std::unordered_set< std::string > & freetensor::SymbolTableInterface::names ( ) const
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ popDef()

virtual void freetensor::SymbolTableInterface::popDef ( const VarDef &  op)
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ popFor()

virtual void freetensor::SymbolTableInterface::popFor ( const For &  op)
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ pushDef()

virtual void freetensor::SymbolTableInterface::pushDef ( const VarDef &  op)
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

◆ pushFor()

virtual void freetensor::SymbolTableInterface::pushFor ( const For &  op)
pure virtual

Implemented in freetensor::SymbolTableData, freetensor::SymbolTable< BaseClass >, freetensor::SymbolTable< Mutator >, freetensor::SymbolTable< Visitor >, freetensor::SymbolTable< TrackStmt< Visitor > >, freetensor::SymbolTable< ConstFold >, and freetensor::Z3SimplifyWithSymbolTable.

The documentation for this class was generated from the following file:
Generated by doxygen 1.9.6