ROSE
0.9.6a
|
#include <latticeFull.h>
Public Member Functions | |
BoolAndLattice () | |
BoolAndLattice (bool state) | |
void | initialize () |
Lattice * | copy () const |
void | copy (Lattice *that) |
bool | meetUpdate (Lattice *that) |
bool | operator== (Lattice *that) |
bool | get () const |
bool | set (bool state) |
bool | andUpd (bool state) |
std::string | str (std::string indent="") |
Public Member Functions inherited from FiniteLattice | |
bool | finiteLattice () |
Check if this lattice is finite or not. More... | |
Public Member Functions inherited from Lattice | |
virtual void | remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc) |
virtual void | incorporateVars (Lattice *that) |
virtual Lattice * | project (SgExpression *expr) |
virtual bool | unProject (SgExpression *expr, Lattice *exprState) |
bool | operator!= (Lattice *that) |
bool | operator== (Lattice &that) |
bool | operator!= (Lattice &that) |
Public Member Functions inherited from printable | |
virtual | ~printable () |
Private Member Functions | |
BoolAndLattice (int state) | |
Private Attributes | |
int | state |
Definition at line 16 of file latticeFull.h.
|
inline |
Definition at line 25 of file latticeFull.h.
References state.
|
inlineprivate |
Definition at line 29 of file latticeFull.h.
References state.
|
inline |
Definition at line 33 of file latticeFull.h.
References state.
|
inlinevirtual |
bool BoolAndLattice::get | ( | ) | const |
bool BoolAndLattice::set | ( | bool | state) |
bool BoolAndLattice::andUpd | ( | bool | state) |
|
virtual |
Implements printable.
|
private |
Definition at line 22 of file latticeFull.h.
Referenced by BoolAndLattice(), and initialize().