llzk::IntervalAnalysisPrinterPassOptions Struct Reference

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

Detailed Description

Definition at line 230 of file IntervalAnalysisPass.cpp.

Member Data Documentation

fieldName

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

Definition at line 231 of file IntervalAnalysisPass.cpp.

printSolverConstraints

bool llzk::IntervalAnalysisPrinterPassOptions::printSolverConstraints = false

Definition at line 232 of file IntervalAnalysisPass.cpp.

---

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

• lib/Analysis/IntervalAnalysisPass.cpp