Jlm
Public Attributes | List of all members
jlm::llvm::InvariantValueRedirection::Configuration Struct Reference

#include <InvariantValueRedirection.hpp>

Public Attributes

bool enableGammaOutputRedirection = true
 
bool enableThetaOutputRedirection = true
 
bool enableThetaGammaCorrelationRedirection = true
 
bool enableCallOutputRedirection = true
 
bool enableLoadMemoryStateRedirection = true
 

Detailed Description

Definition at line 86 of file InvariantValueRedirection.hpp.

Member Data Documentation

◆ enableCallOutputRedirection

bool jlm::llvm::InvariantValueRedirection::Configuration::enableCallOutputRedirection = true

Definition at line 91 of file InvariantValueRedirection.hpp.

◆ enableGammaOutputRedirection

bool jlm::llvm::InvariantValueRedirection::Configuration::enableGammaOutputRedirection = true

Definition at line 88 of file InvariantValueRedirection.hpp.

◆ enableLoadMemoryStateRedirection

bool jlm::llvm::InvariantValueRedirection::Configuration::enableLoadMemoryStateRedirection = true

Definition at line 92 of file InvariantValueRedirection.hpp.

◆ enableThetaGammaCorrelationRedirection

bool jlm::llvm::InvariantValueRedirection::Configuration::enableThetaGammaCorrelationRedirection = true

Definition at line 90 of file InvariantValueRedirection.hpp.

◆ enableThetaOutputRedirection

bool jlm::llvm::InvariantValueRedirection::Configuration::enableThetaOutputRedirection = true

Definition at line 89 of file InvariantValueRedirection.hpp.

The documentation for this struct was generated from the following file:
Generated by doxygen 1.9.1