Definition at line 260 of file latticeFull.h.
 
 | 
| 
  | VariablesProductLattice (bool includeScalars, bool includeArrays, Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, const Function &func, const DataflowNode &n, const NodeState &state) | 
|   | 
| 
  | VariablesProductLattice (const VariablesProductLattice &that) | 
|   | 
| 
Lattice *  | getVarLattice (const Function &func, const varID &var) | 
|   | 
| 
varIDSet &  | getGlobalVars () const | 
|   | 
| 
varIDSet &  | getLocalVars (Function func) const | 
|   | 
| 
varIDSet &  | getRefVars (Function func) const | 
|   | 
| 
varIDSet  | getVisibleVars (Function func) const | 
|   | 
| void  | copy (Lattice *that) | 
|   | 
| void  | remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc) | 
|   | 
| void  | incorporateVars (Lattice *that) | 
|   | 
| std::string  | str (std::string indent="") | 
|   | 
| 
  | ProductLattice (const std::vector< Lattice * > &lattices) | 
|   | 
| 
void  | init (const std::vector< Lattice * > &lattices) | 
|   | 
| void  | initialize () | 
|   | 
| 
const std::vector< Lattice * > &  | getLattices () | 
|   | 
| 
void  | copy_lattices (std::vector< Lattice * > &newLattices) const | 
|   | 
| virtual bool  | meetUpdate (Lattice *that) | 
|   | 
| virtual bool  | operator== (Lattice *that) | 
|   | 
| int  | getLevel () | 
|   | 
| virtual Lattice *  | copy () const =0 | 
|   | 
| virtual Lattice *  | project (SgExpression *) | 
|   | 
| virtual bool  | unProject (SgExpression *, Lattice *exprState) | 
|   | 
| virtual bool  | finiteLattice ()=0 | 
|   | Check if this lattice is finite or not.  
  | 
|   | 
| bool  | operator!= (Lattice *that) | 
|   | 
| bool  | operator== (Lattice &that) | 
|   | 
| bool  | operator!= (Lattice &that) | 
|   | 
 | 
| 
static varIDSet &  | getGlobalVars (bool includeScalars, bool includeArrays) | 
|   | 
 | 
| 
void  | setUpVarLatticeIndex () | 
|   | 
| 
int  | getVarIndex (const Function &func, const varID &var) | 
|   | 
◆ copy()
  
  
      
        
          | void VariablesProductLattice::copy  | 
          ( | 
          Lattice *  | 
          that | ) | 
           | 
         
       
   | 
  
virtual   | 
  
 
 
◆ remapVars()
  
  
      
        
          | void VariablesProductLattice::remapVars  | 
          ( | 
          const std::map< varID, varID > &  | 
          varNameMap,  | 
         
        
           | 
           | 
          const Function &  | 
          newFunc  | 
         
        
           | 
          ) | 
           |  | 
         
       
   | 
  
virtual   | 
  
 
 
◆ incorporateVars()
  
  
      
        
          | void VariablesProductLattice::incorporateVars  | 
          ( | 
          Lattice *  | 
          that | ) | 
           | 
         
       
   | 
  
virtual   | 
  
 
 
◆ str()
  
  
      
        
          | std::string VariablesProductLattice::str  | 
          ( | 
          std::string  | 
          indent = "" | ) | 
           | 
         
       
   | 
  
virtual   | 
  
 
 
◆ includeScalars
  
  
      
        
          | bool VariablesProductLattice::includeScalars | 
         
       
   | 
  
protected   | 
  
 
 
◆ includeArrays
  
  
      
        
          | bool VariablesProductLattice::includeArrays | 
         
       
   | 
  
protected   | 
  
 
 
◆ func
◆ constVarLattices
  
  
      
        
          | std::map<varID, Lattice*> VariablesProductLattice::constVarLattices | 
         
       
   | 
  
protected   | 
  
 
 
◆ allVarLattice
  
  
      
        
          | Lattice* VariablesProductLattice::allVarLattice | 
         
       
   | 
  
protected   | 
  
 
 
◆ perVarLattice
  
  
      
        
          | Lattice* VariablesProductLattice::perVarLattice | 
         
       
   | 
  
protected   | 
  
 
 
◆ varLatticeIndex
  
  
      
        
          | std::map<Function, std::map<varID, int> > VariablesProductLattice::varLatticeIndex | 
         
       
   | 
  
staticprotected   | 
  
 
 
The documentation for this class was generated from the following file: