LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::CDGAnalysisContext Struct Reference

Parameters and shared objects to pass to child analyses. More...

#include <ConstraintDependencyGraph.h>

Public Member Functions

bool runIntraproceduralAnalysis () const
 

Public Attributes

bool runIntraprocedural = false
 

Detailed Description

Parameters and shared objects to pass to child analyses.

Definition at line 214 of file ConstraintDependencyGraph.h.

Member Function Documentation

◆ runIntraproceduralAnalysis()

bool llzk::CDGAnalysisContext::runIntraproceduralAnalysis ( ) const
inline

Definition at line 217 of file ConstraintDependencyGraph.h.

Member Data Documentation

◆ runIntraprocedural

bool llzk::CDGAnalysisContext::runIntraprocedural = false

Definition at line 215 of file ConstraintDependencyGraph.h.


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