llzk::dataflow::ScalarLatticeValue Concept Reference

#include <AbstractLatticeValue.h>

Concept definition

template<typename Val>
concept llzk::dataflow::ScalarLatticeValue =  requires(Val lhs, Val rhs, mlir::raw_ostream &os) {
  
  { os << lhs } -> std::same_as<mlir::raw_ostream &>;
  
  { lhs == rhs } -> std::same_as<bool>;
  
  { lhs.join(rhs) } -> std::same_as<Val &>;
  
  requires std::default_initializable<Val>;
}

Detailed Description

Definition at line 29 of file AbstractLatticeValue.h.