LTL.h File Reference

#include "mlir-c/IR.h"

Include dependency graph for LTL.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
typedef enum LTLClockEdge	LTLClockEdge

Enumerations
enum	LTLClockEdge { LTL_CLOCK_EDGE_POS = 0 , LTL_CLOCK_EDGE_NEG = 1 , LTL_CLOCK_EDGE_BOTH = 2 }

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

Typedef Documentation

LTLClockEdge

typedef enum LTLClockEdge LTLClockEdge

Enumeration Type Documentation

LTLClockEdge

enum LTLClockEdge

Enumerator
LTL_CLOCK_EDGE_POS
LTL_CLOCK_EDGE_NEG
LTL_CLOCK_EDGE_BOTH

Definition at line 19 of file LTL.h.

Function Documentation

ltlAttrIsAClockEdgeAttr()

MLIR_CAPI_EXPORTED bool ltlAttrIsAClockEdgeAttr

(

MlirAttribute

attr

)

Definition at line 54 of file LTL.cpp.

References unwrap().

ltlClockEdgeAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute ltlClockEdgeAttrGet	(	MlirContext	ctx,
		LTLClockEdge	edge )

Definition at line 58 of file LTL.cpp.

References unwrap(), and wrap().

ltlClockEdgeAttrGetValue()

MLIR_CAPI_EXPORTED LTLClockEdge ltlClockEdgeAttrGetValue

(

MlirAttribute

attr

)

Definition at line 62 of file LTL.cpp.

References unwrap().

ltlPropertyTypeGet()

MLIR_CAPI_EXPORTED MlirType ltlPropertyTypeGet

(

MlirContext

ctx

)

Definition at line 42 of file LTL.cpp.

References unwrap(), and wrap().

ltlSequenceTypeGet()

MLIR_CAPI_EXPORTED MlirType ltlSequenceTypeGet

(

MlirContext

ctx

)

Definition at line 34 of file LTL.cpp.

References unwrap(), and wrap().

ltlTypeIsAProperty()

MLIR_CAPI_EXPORTED bool ltlTypeIsAProperty

(

MlirType

type

)

Definition at line 38 of file LTL.cpp.

References unwrap().

ltlTypeIsASequence()

MLIR_CAPI_EXPORTED bool ltlTypeIsASequence

(

MlirType

type

)

Definition at line 30 of file LTL.cpp.

References ltlTypeIsASequence(), and unwrap().

Referenced by ltlTypeIsASequence().

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION	(	LTL	,
		ltl	)