Description
Definition at line 234 of file latticeFull.h.
Inheritance diagram for InfiniteProductLattice:
Collaboration diagram for InfiniteProductLattice:
Public Member Functions | |
| InfiniteProductLattice (const std::vector< Lattice * > &lattices) | |
| InfiniteProductLattice (const InfiniteProductLattice &that) | |
| Lattice * | copy () const override |
| bool | widenUpdate (InfiniteLattice *that) override |
| virtual void | copy (Lattice *that) |
 Public Member Functions inherited from ProductLattice | |
| 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 std::string | str (std::string indent="") |
| Public Member Functions inherited from Lattice | |
| virtual void | remapVars (const std::map< varID, varID > &, const Function &) |
| virtual void | incorporateVars (Lattice *) |
| virtual Lattice * | project (SgExpression *) |
| virtual bool | unProject (SgExpression *, Lattice *exprState) |
| bool | operator!= (Lattice *that) |
| bool | operator== (Lattice &that) |
| bool | operator!= (Lattice &that) |
| Public Member Functions inherited from InfiniteLattice | |
| bool | finiteLattice () |
| Check if this lattice is finite or not. | |
Additional Inherited Members | |
| Public Attributes inherited from ProductLattice | |
| short | level |
| Static Public Attributes inherited from ProductLattice | |
| static const int | uninitialized =0 |
| static const int | initialized =1 |
| Protected Attributes inherited from ProductLattice | |
| std::vector< Lattice * > | lattices |
Constructor & Destructor Documentation
◆ InfiniteProductLattice() [1/3]
|
inline |
Definition at line 237 of file latticeFull.h.
◆ InfiniteProductLattice() [2/3]
|
inline |
Definition at line 240 of file latticeFull.h.
◆ InfiniteProductLattice() [3/3]
|
inline |
Definition at line 243 of file latticeFull.h.
Member Function Documentation
◆ copy() [1/2]
|
inlineoverridevirtual |
Implements Lattice.
Definition at line 249 of file latticeFull.h.
◆ widenUpdate()
|
overridevirtual |
Implements InfiniteLattice.
◆ copy() [2/2]
|
virtual |
Reimplemented from ProductLattice.
The documentation for this class was generated from the following file:
