llzk::dataflow::ScalarLatticeValue Concept Reference

#include <AbstractLatticeValue.h>

Concept definition

template<typename Val>
concept llzk::dataflow::ScalarLatticeValue = 
    
    std::default_initializable<Val> && 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 &>;
    }

Detailed Description

Definition at line 29 of file AbstractLatticeValue.h.