stp.Kind
-
class stp.Kind(value, names=<not given>, *values, module=None, qualname=None, type=None, start=1, boundary=None)
-
VALUE = 0
-
CONSTANT = 1
-
ITE = 2
-
EQUAL = 3
-
DISTINCT = 4
-
APPLY = 5
-
NOT = 6
-
AND = 7
-
OR = 8
-
XOR = 9
-
IMPLIES = 10
-
BV_NOT = 11
-
BV_AND = 12
-
BV_OR = 13
-
BV_XOR = 14
-
BV_NAND = 15
-
BV_NOR = 16
-
BV_XNOR = 17
-
BV_NEG = 18
-
BV_ADD = 19
-
BV_SUB = 20
-
BV_MUL = 21
-
BV_UDIV = 22
-
BV_UREM = 23
-
BV_SDIV = 24
-
BV_SREM = 25
-
BV_SMOD = 26
-
BV_SHL = 27
-
BV_LSHR = 28
-
BV_ASHR = 29
-
BV_CONCAT = 30
-
BV_ZERO_EXTEND = 32
-
BV_SIGN_EXTEND = 33
-
BV_REPEAT = 34
-
BV_ROTATE_LEFT = 35
-
BV_ROTATE_RIGHT = 36
-
BV_COMP = 37
-
BV_ULT = 38
-
BV_ULE = 39
-
BV_UGT = 40
-
BV_UGE = 41
-
BV_SLT = 42
-
BV_SLE = 43
-
BV_SGT = 44
-
BV_SGE = 45
-
BV_UADDO = 46
-
BV_SADDO = 47
-
BV_UMULO = 48
-
BV_SMULO = 49
-
BV_USUBO = 50
-
BV_SSUBO = 51
-
BV_NEGO = 52
-
BV_SDIVO = 53
-
BV_REDAND = 54
-
BV_REDOR = 55
-
SELECT = 56
-
STORE = 57
-
CONST_ARRAY = 58
-
FP_ABS = 59
-
FP_NEG = 60
-
FP_ADD = 61
-
FP_SUB = 62
-
FP_MUL = 63
-
FP_DIV = 64
-
FP_FMA = 65
-
FP_SQRT = 66
-
FP_REM = 67
-
FP_RTI = 68
-
FP_MIN = 69
-
FP_MAX = 70
-
FP_EQ = 71
-
FP_LT = 72
-
FP_LEQ = 73
-
FP_GT = 74
-
FP_GEQ = 75
-
FP_IS_NORMAL = 76
-
FP_IS_SUBNORMAL = 77
-
FP_IS_ZERO = 78
-
FP_IS_INF = 79
-
FP_IS_NAN = 80
-
FP_IS_NEG = 81
-
FP_IS_POS = 82
-
FP_FP = 83
-
FP_TO_FP_FROM_BV = 84
-
FP_TO_FP_FROM_FP = 85
-
FP_TO_FP_FROM_SBV = 86
-
FP_TO_FP_FROM_UBV = 87
-
FP_TO_FP_FROM_REAL = 88
-
FP_TO_UBV = 89
-
FP_TO_SBV = 90
-
FP_TO_REAL = 91
-
FP_TO_IEEE_BV = 92
-
REAL_ADD = 93
-
REAL_SUB = 94
-
REAL_NEG = 95
-
REAL_MUL = 96
-
REAL_DIV = 97
-
REAL_LT = 98
-
REAL_LE = 99
-
REAL_GT = 100
-
REAL_GE = 101
-
property smtlib
