acir_components_check::Error Struct Reference

#include <components_check.hpp>

Public Types
enum class	Type { SPLIT , UNCONSTRAINED }

Public Attributes
Type	type
size_t	acir_component
std::string	message

Detailed Description

Single structural violation reported by ComponentsChecker_.

Definition at line 33 of file components_check.hpp.

Member Enumeration Documentation

Type

enum class acir_components_check::Error::Type

strong

Enumerator
SPLIT	Same ACIR component maps to more than one circuit connected component.
UNCONSTRAINED	At least one witness in the ACIR component has no circuit placement (not in a CC, not classified as constant/singleton/range-list).

Definition at line 34 of file components_check.hpp.

Member Data Documentation

acir_component

size_t acir_components_check::Error::acir_component

ACIR component id (from AcirGraph::get_witness_component_map).

Definition at line 44 of file components_check.hpp.

message

std::string acir_components_check::Error::message

Human-readable explanation (may list witness indices and circuit CC ids).

Definition at line 46 of file components_check.hpp.

type

Type acir_components_check::Error::type

Which of the two failure modes applies.

Definition at line 42 of file components_check.hpp.

---

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

• src/barretenberg/acir_components_check/components_check.hpp