llzk::IntervalAnalysisPrinterPassOptions Struct Reference

#include <AnalysisPasses.h>

Public Attributes
::llzk::OutputStream	outputStream = ::llzk::OutputStream::Errs
std::string	fieldName = ""
bool	propagateInputConstraints = false
bool	printSolverConstraints = false
bool	printComputeIntervals = false
bool	printUnreducedIntervals = false
bool	printSSAIntervals = false

Detailed Description

Definition at line 365 of file AnalysisPasses.h.

Member Data Documentation

fieldName

std::string llzk::IntervalAnalysisPrinterPassOptions::fieldName = ""

Definition at line 367 of file AnalysisPasses.h.

outputStream

::llzk::OutputStream llzk::IntervalAnalysisPrinterPassOptions::outputStream = ::llzk::OutputStream::Errs

Definition at line 366 of file AnalysisPasses.h.

printComputeIntervals

bool llzk::IntervalAnalysisPrinterPassOptions::printComputeIntervals = false

Definition at line 370 of file AnalysisPasses.h.

printSolverConstraints

bool llzk::IntervalAnalysisPrinterPassOptions::printSolverConstraints = false

Definition at line 369 of file AnalysisPasses.h.

printSSAIntervals

bool llzk::IntervalAnalysisPrinterPassOptions::printSSAIntervals = false

Definition at line 372 of file AnalysisPasses.h.

printUnreducedIntervals

bool llzk::IntervalAnalysisPrinterPassOptions::printUnreducedIntervals = false

Definition at line 371 of file AnalysisPasses.h.

propagateInputConstraints

bool llzk::IntervalAnalysisPrinterPassOptions::propagateInputConstraints = false

Definition at line 368 of file AnalysisPasses.h.

---

The documentation for this struct was generated from the following file:

• include/llzk/Analysis/AnalysisPasses.h