OpInterfaces.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Interface Declarations                                                     *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
namespace llzk {
namespace constrain {
class ConstraintOpInterface;
namespace detail {
struct ConstraintOpInterfaceInterfaceTraits {
  struct Concept {
  };
  template<typename ConcreteOp>
  class Model : public Concept {
  public:
    using Interface = ::llzk::constrain::ConstraintOpInterface;
    Model() : Concept{} {}
 
  };
  template<typename ConcreteOp>
  class FallbackModel : public Concept {
  public:
    using Interface = ::llzk::constrain::ConstraintOpInterface;
    FallbackModel() : Concept{} {}
 
  };
  template<typename ConcreteModel, typename ConcreteOp>
  class ExternalModel : public FallbackModel<ConcreteModel> {
  public:
    using ConcreteEntity = ConcreteOp;
  };
};
template <typename ConcreteOp>
struct ConstraintOpInterfaceTrait;
 
} // namespace detail
class ConstraintOpInterface : public ::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits> {
public:
  using ::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits>::OpInterface;
  template <typename ConcreteOp>
  struct Trait : public detail::ConstraintOpInterfaceTrait<ConcreteOp> {};
};
namespace detail {
  template <typename ConcreteOp>
  struct ConstraintOpInterfaceTrait : public ::mlir::OpInterface<ConstraintOpInterface, detail::ConstraintOpInterfaceInterfaceTraits>::Trait<ConcreteOp> {
  };
}// namespace detail
} // namespace constrain
} // namespace llzk
namespace llzk {
namespace constrain {
} // namespace constrain
} // namespace llzk