LTLOps.cpp File Reference

#include "circt/Dialect/LTL/LTLOps.h"
#include "circt/Dialect/LTL/LTLTypes.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/IR/SymbolTable.h"
#include "mlir/Interfaces/FunctionImplementation.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "circt/Dialect/LTL/LTL.cpp.inc"

Include dependency graph for LTLOps.cpp:

Go to the source code of this file.

Macros
#define	GET_OP_CLASSES

Functions
static LogicalResult	inferAndLikeReturnTypes (MLIRContext *context, ValueRange operands, SmallVectorImpl< Type > &results)

Macro Definition Documentation

GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 22 of file LTLOps.cpp.

Function Documentation

inferAndLikeReturnTypes()

LogicalResult inferAndLikeReturnTypes ( MLIRContext * context, ValueRange operands, SmallVectorImpl< Type > & results )

static

Definition at line 29 of file LTLOps.cpp.

References context, and success().