LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | Friends | List of all members
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

Friends

bool operator== (const CDGAnalysisContext &a, const CDGAnalysisContext &b)=default

Detailed Description

Parameters and shared objects to pass to child analyses.

Definition at line 76 of file ConstraintDependencyGraph.h.

Member Function Documentation

◆ runIntraproceduralAnalysis()

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

Definition at line 79 of file ConstraintDependencyGraph.h.

◆ operator==

bool operator== ( const CDGAnalysisContext & a,
const CDGAnalysisContext & b )
friend

Member Data Documentation

◆ runIntraprocedural

bool llzk::CDGAnalysisContext::runIntraprocedural = false

Definition at line 77 of file ConstraintDependencyGraph.h.

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