llzk::IntervalAnalysisPrinterPassOptions Struct Reference

Public Attributes
std::string	fieldName = ""
bool	propagateInputConstraints = false
bool	printSolverConstraints = false
bool	printComputeIntervals = false

Detailed Description

Definition at line 249 of file IntervalAnalysisPass.cpp.

Member Data Documentation

fieldName

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

Definition at line 250 of file IntervalAnalysisPass.cpp.

printComputeIntervals

bool llzk::IntervalAnalysisPrinterPassOptions::printComputeIntervals = false

Definition at line 253 of file IntervalAnalysisPass.cpp.

printSolverConstraints

bool llzk::IntervalAnalysisPrinterPassOptions::printSolverConstraints = false

Definition at line 252 of file IntervalAnalysisPass.cpp.

propagateInputConstraints

bool llzk::IntervalAnalysisPrinterPassOptions::propagateInputConstraints = false

Definition at line 251 of file IntervalAnalysisPass.cpp.

---

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

• lib/Analysis/IntervalAnalysisPass.cpp