|
Jlm
|
#include <InvariantValueRedirection.hpp>
Public Attributes | |
| bool | enableGammaOutputRedirection = true |
| bool | enableGammaOutputConstantRedirection = true |
| bool | enableThetaOutputRedirection = true |
| bool | enableThetaGammaCorrelationRedirection = true |
| bool | enableCallOutputRedirection = true |
| bool | enableLoadMemoryStateRedirection = true |
Definition at line 93 of file InvariantValueRedirection.hpp.
| bool jlm::llvm::InvariantValueRedirection::Configuration::enableCallOutputRedirection = true |
Definition at line 99 of file InvariantValueRedirection.hpp.
| bool jlm::llvm::InvariantValueRedirection::Configuration::enableGammaOutputConstantRedirection = true |
Definition at line 96 of file InvariantValueRedirection.hpp.
| bool jlm::llvm::InvariantValueRedirection::Configuration::enableGammaOutputRedirection = true |
Definition at line 95 of file InvariantValueRedirection.hpp.
| bool jlm::llvm::InvariantValueRedirection::Configuration::enableLoadMemoryStateRedirection = true |
Definition at line 100 of file InvariantValueRedirection.hpp.
| bool jlm::llvm::InvariantValueRedirection::Configuration::enableThetaGammaCorrelationRedirection = true |
Definition at line 98 of file InvariantValueRedirection.hpp.
| bool jlm::llvm::InvariantValueRedirection::Configuration::enableThetaOutputRedirection = true |
Definition at line 97 of file InvariantValueRedirection.hpp.