mlir.dialects._smt_enum_gen

Attributes

_ods_ir

Classes

BVCmpPredicate	smt bit-vector comparison predicate
IntPredicate	smt comparison predicate for integers

Functions

_bvcmppredicate(x, context)
_intpredicate(x, context)

Module Contents

mlir.dialects._smt_enum_gen._ods_ir

class mlir.dialects._smt_enum_gen.BVCmpPredicate

Bases: enum.IntEnum

smt bit-vector comparison predicate

slt = 0

sle = 1

sgt = 2

sge = 3

ult = 4

ule = 5

ugt = 6

uge = 7

__str__()

Return str(self).

mlir.dialects._smt_enum_gen._bvcmppredicate(x, context)

class mlir.dialects._smt_enum_gen.IntPredicate

Bases: enum.IntEnum

smt comparison predicate for integers

lt = 0

le = 1

gt = 2

ge = 3

__str__()

Return str(self).

mlir.dialects._smt_enum_gen._intpredicate(x, context)