LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
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: