llzk::IntervalAnalysisPrinterPassOptions Struct Reference

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

Detailed Description

Definition at line 251 of file IntervalAnalysisPass.cpp.

Member Data Documentation

fieldName

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

Definition at line 252 of file IntervalAnalysisPass.cpp.

printComputeIntervals

bool llzk::IntervalAnalysisPrinterPassOptions::printComputeIntervals = false

Definition at line 255 of file IntervalAnalysisPass.cpp.

printSolverConstraints

bool llzk::IntervalAnalysisPrinterPassOptions::printSolverConstraints = false

Definition at line 254 of file IntervalAnalysisPass.cpp.

propagateInputConstraints

bool llzk::IntervalAnalysisPrinterPassOptions::propagateInputConstraints = false

Definition at line 253 of file IntervalAnalysisPass.cpp.

---

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

• lib/Analysis/IntervalAnalysisPass.cpp