LTL.cpp File Reference

#include "circt-c/Dialect/LTL.h"
#include "circt/Dialect/LTL/LTLDialect.h"
#include "circt/Dialect/LTL/LTLTypes.h"
#include "mlir/CAPI/IR.h"
#include "mlir/CAPI/Registration.h"

Include dependency graph for LTL.cpp:

Go to the source code of this file.

Functions
bool	ltlTypeIsASequence (MlirType type)
MlirType	ltlSequenceTypeGet (MlirContext ctx)
bool	ltlTypeIsAProperty (MlirType type)
MlirType	ltlPropertyTypeGet (MlirContext ctx)
bool	ltlAttrIsAClockEdgeAttr (MlirAttribute attr)
MlirAttribute	ltlClockEdgeAttrGet (MlirContext ctx, LTLClockEdge edge)
LTLClockEdge	ltlClockEdgeAttrGetValue (MlirAttribute attr)

Function Documentation

ltlAttrIsAClockEdgeAttr()

bool ltlAttrIsAClockEdgeAttr

(

MlirAttribute

attr

)

Definition at line 54 of file LTL.cpp.

References unwrap().

ltlClockEdgeAttrGet()

MlirAttribute ltlClockEdgeAttrGet	(	MlirContext	ctx,
		LTLClockEdge	edge
	)

Definition at line 58 of file LTL.cpp.

References unwrap(), and wrap().

ltlClockEdgeAttrGetValue()

LTLClockEdge ltlClockEdgeAttrGetValue

(

MlirAttribute

attr

)

Definition at line 62 of file LTL.cpp.

References unwrap().

ltlPropertyTypeGet()

MlirType ltlPropertyTypeGet

(

MlirContext

ctx

)

Definition at line 42 of file LTL.cpp.

References unwrap(), and wrap().

ltlSequenceTypeGet()

MlirType ltlSequenceTypeGet

(

MlirContext

ctx

)

Definition at line 34 of file LTL.cpp.

References unwrap(), and wrap().

ltlTypeIsAProperty()

bool ltlTypeIsAProperty

(

MlirType

type

)

Definition at line 38 of file LTL.cpp.

References unwrap().

ltlTypeIsASequence()

bool ltlTypeIsASequence

(

MlirType

type

)

Definition at line 30 of file LTL.cpp.

References unwrap().