llzk::dataflow::ScalarLatticeValue Concept Reference

#include <AbstractLatticeValue.h>

Concept definition

template<typename Val>
concept ScalarLatticeValue =
    // Require default constructable
    std::default_initializable<Val> && requires(Val lhs, Val rhs, mlir::raw_ostream &os) {
      // Require a form of print function
      { os << lhs } -> std::same_as<mlir::raw_ostream &>;
      // Require comparability
      { lhs == rhs } -> std::same_as<bool>;
      // Require the ability to combine two scalar values
      { lhs.join(rhs) } -> std::same_as<Val &>;
    }

Detailed Description

Definition at line 29 of file AbstractLatticeValue.h.