llzk::witgen::PodValue Struct Reference

Materialized POD value keyed by record name. More...

#include <ValueModel.h>

Collaboration diagram for llzk::witgen::PodValue:

Public Attributes
pod::PodType	type
llvm::DenseMap< llvm::StringRef, WitnessVal >	records

Detailed Description

Materialized POD value keyed by record name.

Definition at line 68 of file ValueModel.h.

Member Data Documentation

records

llvm::DenseMap<llvm::StringRef, WitnessVal> llzk::witgen::PodValue::records

Definition at line 70 of file ValueModel.h.

type

pod::PodType llzk::witgen::PodValue::type

Definition at line 69 of file ValueModel.h.

---

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

• tools/llzk-witgen/ValueModel.h