Enum Cvc5Kind

Source

#[repr(i32)]pub enum Cvc5Kind {
Show 295 variants    CVC5_KIND_INTERNAL_KIND = -2,
    CVC5_KIND_UNDEFINED_KIND = -1,
    CVC5_KIND_NULL_TERM = 0,
    CVC5_KIND_UNINTERPRETED_SORT_VALUE = 1,
    CVC5_KIND_EQUAL = 2,
    CVC5_KIND_DISTINCT = 3,
    CVC5_KIND_CONSTANT = 4,
    CVC5_KIND_VARIABLE = 5,
    CVC5_KIND_SKOLEM = 6,
    CVC5_KIND_SEXPR = 7,
    CVC5_KIND_LAMBDA = 8,
    CVC5_KIND_WITNESS = 9,
    CVC5_KIND_CONST_BOOLEAN = 10,
    CVC5_KIND_NOT = 11,
    CVC5_KIND_AND = 12,
    CVC5_KIND_IMPLIES = 13,
    CVC5_KIND_OR = 14,
    CVC5_KIND_XOR = 15,
    CVC5_KIND_ITE = 16,
    CVC5_KIND_APPLY_UF = 17,
    CVC5_KIND_CARDINALITY_CONSTRAINT = 18,
    CVC5_KIND_HO_APPLY = 19,
    CVC5_KIND_ADD = 20,
    CVC5_KIND_MULT = 21,
    CVC5_KIND_IAND = 22,
    CVC5_KIND_POW2 = 23,
    CVC5_KIND_SUB = 24,
    CVC5_KIND_NEG = 25,
    CVC5_KIND_DIVISION = 26,
    CVC5_KIND_DIVISION_TOTAL = 27,
    CVC5_KIND_INTS_DIVISION = 28,
    CVC5_KIND_INTS_DIVISION_TOTAL = 29,
    CVC5_KIND_INTS_MODULUS = 30,
    CVC5_KIND_INTS_MODULUS_TOTAL = 31,
    CVC5_KIND_ABS = 32,
    CVC5_KIND_POW = 33,
    CVC5_KIND_EXPONENTIAL = 34,
    CVC5_KIND_SINE = 35,
    CVC5_KIND_COSINE = 36,
    CVC5_KIND_TANGENT = 37,
    CVC5_KIND_COSECANT = 38,
    CVC5_KIND_SECANT = 39,
    CVC5_KIND_COTANGENT = 40,
    CVC5_KIND_ARCSINE = 41,
    CVC5_KIND_ARCCOSINE = 42,
    CVC5_KIND_ARCTANGENT = 43,
    CVC5_KIND_ARCCOSECANT = 44,
    CVC5_KIND_ARCSECANT = 45,
    CVC5_KIND_ARCCOTANGENT = 46,
    CVC5_KIND_SQRT = 47,
    CVC5_KIND_DIVISIBLE = 48,
    CVC5_KIND_CONST_RATIONAL = 49,
    CVC5_KIND_CONST_INTEGER = 50,
    CVC5_KIND_LT = 51,
    CVC5_KIND_LEQ = 52,
    CVC5_KIND_GT = 53,
    CVC5_KIND_GEQ = 54,
    CVC5_KIND_IS_INTEGER = 55,
    CVC5_KIND_TO_INTEGER = 56,
    CVC5_KIND_TO_REAL = 57,
    CVC5_KIND_PI = 58,
    CVC5_KIND_CONST_BITVECTOR = 59,
    CVC5_KIND_BITVECTOR_CONCAT = 60,
    CVC5_KIND_BITVECTOR_AND = 61,
    CVC5_KIND_BITVECTOR_OR = 62,
    CVC5_KIND_BITVECTOR_XOR = 63,
    CVC5_KIND_BITVECTOR_NOT = 64,
    CVC5_KIND_BITVECTOR_NAND = 65,
    CVC5_KIND_BITVECTOR_NOR = 66,
    CVC5_KIND_BITVECTOR_XNOR = 67,
    CVC5_KIND_BITVECTOR_COMP = 68,
    CVC5_KIND_BITVECTOR_MULT = 69,
    CVC5_KIND_BITVECTOR_ADD = 70,
    CVC5_KIND_BITVECTOR_SUB = 71,
    CVC5_KIND_BITVECTOR_NEG = 72,
    CVC5_KIND_BITVECTOR_UDIV = 73,
    CVC5_KIND_BITVECTOR_UREM = 74,
    CVC5_KIND_BITVECTOR_SDIV = 75,
    CVC5_KIND_BITVECTOR_SREM = 76,
    CVC5_KIND_BITVECTOR_SMOD = 77,
    CVC5_KIND_BITVECTOR_SHL = 78,
    CVC5_KIND_BITVECTOR_LSHR = 79,
    CVC5_KIND_BITVECTOR_ASHR = 80,
    CVC5_KIND_BITVECTOR_ULT = 81,
    CVC5_KIND_BITVECTOR_ULE = 82,
    CVC5_KIND_BITVECTOR_UGT = 83,
    CVC5_KIND_BITVECTOR_UGE = 84,
    CVC5_KIND_BITVECTOR_SLT = 85,
    CVC5_KIND_BITVECTOR_SLE = 86,
    CVC5_KIND_BITVECTOR_SGT = 87,
    CVC5_KIND_BITVECTOR_SGE = 88,
    CVC5_KIND_BITVECTOR_ULTBV = 89,
    CVC5_KIND_BITVECTOR_SLTBV = 90,
    CVC5_KIND_BITVECTOR_ITE = 91,
    CVC5_KIND_BITVECTOR_REDOR = 92,
    CVC5_KIND_BITVECTOR_REDAND = 93,
    CVC5_KIND_BITVECTOR_NEGO = 94,
    CVC5_KIND_BITVECTOR_UADDO = 95,
    CVC5_KIND_BITVECTOR_SADDO = 96,
    CVC5_KIND_BITVECTOR_UMULO = 97,
    CVC5_KIND_BITVECTOR_SMULO = 98,
    CVC5_KIND_BITVECTOR_USUBO = 99,
    CVC5_KIND_BITVECTOR_SSUBO = 100,
    CVC5_KIND_BITVECTOR_SDIVO = 101,
    CVC5_KIND_BITVECTOR_EXTRACT = 102,
    CVC5_KIND_BITVECTOR_REPEAT = 103,
    CVC5_KIND_BITVECTOR_ZERO_EXTEND = 104,
    CVC5_KIND_BITVECTOR_SIGN_EXTEND = 105,
    CVC5_KIND_BITVECTOR_ROTATE_LEFT = 106,
    CVC5_KIND_BITVECTOR_ROTATE_RIGHT = 107,
    CVC5_KIND_INT_TO_BITVECTOR = 108,
    CVC5_KIND_BITVECTOR_TO_NAT = 109,
    CVC5_KIND_BITVECTOR_UBV_TO_INT = 110,
    CVC5_KIND_BITVECTOR_SBV_TO_INT = 111,
    CVC5_KIND_BITVECTOR_FROM_BOOLS = 112,
    CVC5_KIND_BITVECTOR_BIT = 113,
    CVC5_KIND_CONST_FINITE_FIELD = 114,
    CVC5_KIND_FINITE_FIELD_NEG = 115,
    CVC5_KIND_FINITE_FIELD_ADD = 116,
    CVC5_KIND_FINITE_FIELD_BITSUM = 117,
    CVC5_KIND_FINITE_FIELD_MULT = 118,
    CVC5_KIND_CONST_FLOATINGPOINT = 119,
    CVC5_KIND_CONST_ROUNDINGMODE = 120,
    CVC5_KIND_FLOATINGPOINT_FP = 121,
    CVC5_KIND_FLOATINGPOINT_EQ = 122,
    CVC5_KIND_FLOATINGPOINT_ABS = 123,
    CVC5_KIND_FLOATINGPOINT_NEG = 124,
    CVC5_KIND_FLOATINGPOINT_ADD = 125,
    CVC5_KIND_FLOATINGPOINT_SUB = 126,
    CVC5_KIND_FLOATINGPOINT_MULT = 127,
    CVC5_KIND_FLOATINGPOINT_DIV = 128,
    CVC5_KIND_FLOATINGPOINT_FMA = 129,
    CVC5_KIND_FLOATINGPOINT_SQRT = 130,
    CVC5_KIND_FLOATINGPOINT_REM = 131,
    CVC5_KIND_FLOATINGPOINT_RTI = 132,
    CVC5_KIND_FLOATINGPOINT_MIN = 133,
    CVC5_KIND_FLOATINGPOINT_MAX = 134,
    CVC5_KIND_FLOATINGPOINT_LEQ = 135,
    CVC5_KIND_FLOATINGPOINT_LT = 136,
    CVC5_KIND_FLOATINGPOINT_GEQ = 137,
    CVC5_KIND_FLOATINGPOINT_GT = 138,
    CVC5_KIND_FLOATINGPOINT_IS_NORMAL = 139,
    CVC5_KIND_FLOATINGPOINT_IS_SUBNORMAL = 140,
    CVC5_KIND_FLOATINGPOINT_IS_ZERO = 141,
    CVC5_KIND_FLOATINGPOINT_IS_INF = 142,
    CVC5_KIND_FLOATINGPOINT_IS_NAN = 143,
    CVC5_KIND_FLOATINGPOINT_IS_NEG = 144,
    CVC5_KIND_FLOATINGPOINT_IS_POS = 145,
    CVC5_KIND_FLOATINGPOINT_TO_FP_FROM_IEEE_BV = 146,
    CVC5_KIND_FLOATINGPOINT_TO_FP_FROM_FP = 147,
    CVC5_KIND_FLOATINGPOINT_TO_FP_FROM_REAL = 148,
    CVC5_KIND_FLOATINGPOINT_TO_FP_FROM_SBV = 149,
    CVC5_KIND_FLOATINGPOINT_TO_FP_FROM_UBV = 150,
    CVC5_KIND_FLOATINGPOINT_TO_UBV = 151,
    CVC5_KIND_FLOATINGPOINT_TO_SBV = 152,
    CVC5_KIND_FLOATINGPOINT_TO_REAL = 153,
    CVC5_KIND_SELECT = 154,
    CVC5_KIND_STORE = 155,
    CVC5_KIND_CONST_ARRAY = 156,
    CVC5_KIND_EQ_RANGE = 157,
    CVC5_KIND_APPLY_CONSTRUCTOR = 158,
    CVC5_KIND_APPLY_SELECTOR = 159,
    CVC5_KIND_APPLY_TESTER = 160,
    CVC5_KIND_APPLY_UPDATER = 161,
    CVC5_KIND_MATCH = 162,
    CVC5_KIND_MATCH_CASE = 163,
    CVC5_KIND_MATCH_BIND_CASE = 164,
    CVC5_KIND_TUPLE_PROJECT = 165,
    CVC5_KIND_NULLABLE_LIFT = 166,
    CVC5_KIND_SEP_NIL = 167,
    CVC5_KIND_SEP_EMP = 168,
    CVC5_KIND_SEP_PTO = 169,
    CVC5_KIND_SEP_STAR = 170,
    CVC5_KIND_SEP_WAND = 171,
    CVC5_KIND_SET_EMPTY = 172,
    CVC5_KIND_SET_UNION = 173,
    CVC5_KIND_SET_INTER = 174,
    CVC5_KIND_SET_MINUS = 175,
    CVC5_KIND_SET_SUBSET = 176,
    CVC5_KIND_SET_MEMBER = 177,
    CVC5_KIND_SET_SINGLETON = 178,
    CVC5_KIND_SET_INSERT = 179,
    CVC5_KIND_SET_CARD = 180,
    CVC5_KIND_SET_COMPLEMENT = 181,
    CVC5_KIND_SET_UNIVERSE = 182,
    CVC5_KIND_SET_COMPREHENSION = 183,
    CVC5_KIND_SET_CHOOSE = 184,
    CVC5_KIND_SET_IS_EMPTY = 185,
    CVC5_KIND_SET_IS_SINGLETON = 186,
    CVC5_KIND_SET_MAP = 187,
    CVC5_KIND_SET_FILTER = 188,
    CVC5_KIND_SET_ALL = 189,
    CVC5_KIND_SET_SOME = 190,
    CVC5_KIND_SET_FOLD = 191,
    CVC5_KIND_RELATION_JOIN = 192,
    CVC5_KIND_RELATION_TABLE_JOIN = 193,
    CVC5_KIND_RELATION_PRODUCT = 194,
    CVC5_KIND_RELATION_TRANSPOSE = 195,
    CVC5_KIND_RELATION_TCLOSURE = 196,
    CVC5_KIND_RELATION_JOIN_IMAGE = 197,
    CVC5_KIND_RELATION_IDEN = 198,
    CVC5_KIND_RELATION_GROUP = 199,
    CVC5_KIND_RELATION_AGGREGATE = 200,
    CVC5_KIND_RELATION_PROJECT = 201,
    CVC5_KIND_BAG_EMPTY = 202,
    CVC5_KIND_BAG_UNION_MAX = 203,
    CVC5_KIND_BAG_UNION_DISJOINT = 204,
    CVC5_KIND_BAG_INTER_MIN = 205,
    CVC5_KIND_BAG_DIFFERENCE_SUBTRACT = 206,
    CVC5_KIND_BAG_DIFFERENCE_REMOVE = 207,
    CVC5_KIND_BAG_SUBBAG = 208,
    CVC5_KIND_BAG_COUNT = 209,
    CVC5_KIND_BAG_MEMBER = 210,
    CVC5_KIND_BAG_SETOF = 211,
    CVC5_KIND_BAG_MAKE = 212,
    CVC5_KIND_BAG_CARD = 213,
    CVC5_KIND_BAG_CHOOSE = 214,
    CVC5_KIND_BAG_MAP = 215,
    CVC5_KIND_BAG_FILTER = 216,
    CVC5_KIND_BAG_ALL = 217,
    CVC5_KIND_BAG_SOME = 218,
    CVC5_KIND_BAG_FOLD = 219,
    CVC5_KIND_BAG_PARTITION = 220,
    CVC5_KIND_TABLE_PRODUCT = 221,
    CVC5_KIND_TABLE_PROJECT = 222,
    CVC5_KIND_TABLE_AGGREGATE = 223,
    CVC5_KIND_TABLE_JOIN = 224,
    CVC5_KIND_TABLE_GROUP = 225,
    CVC5_KIND_STRING_CONCAT = 226,
    CVC5_KIND_STRING_IN_REGEXP = 227,
    CVC5_KIND_STRING_LENGTH = 228,
    CVC5_KIND_STRING_SUBSTR = 229,
    CVC5_KIND_STRING_UPDATE = 230,
    CVC5_KIND_STRING_CHARAT = 231,
    CVC5_KIND_STRING_CONTAINS = 232,
    CVC5_KIND_STRING_INDEXOF = 233,
    CVC5_KIND_STRING_INDEXOF_RE = 234,
    CVC5_KIND_STRING_REPLACE = 235,
    CVC5_KIND_STRING_REPLACE_ALL = 236,
    CVC5_KIND_STRING_REPLACE_RE = 237,
    CVC5_KIND_STRING_REPLACE_RE_ALL = 238,
    CVC5_KIND_STRING_TO_LOWER = 239,
    CVC5_KIND_STRING_TO_UPPER = 240,
    CVC5_KIND_STRING_REV = 241,
    CVC5_KIND_STRING_TO_CODE = 242,
    CVC5_KIND_STRING_FROM_CODE = 243,
    CVC5_KIND_STRING_LT = 244,
    CVC5_KIND_STRING_LEQ = 245,
    CVC5_KIND_STRING_PREFIX = 246,
    CVC5_KIND_STRING_SUFFIX = 247,
    CVC5_KIND_STRING_IS_DIGIT = 248,
    CVC5_KIND_STRING_FROM_INT = 249,
    CVC5_KIND_STRING_TO_INT = 250,
    CVC5_KIND_CONST_STRING = 251,
    CVC5_KIND_STRING_TO_REGEXP = 252,
    CVC5_KIND_REGEXP_CONCAT = 253,
    CVC5_KIND_REGEXP_UNION = 254,
    CVC5_KIND_REGEXP_INTER = 255,
    CVC5_KIND_REGEXP_DIFF = 256,
    CVC5_KIND_REGEXP_STAR = 257,
    CVC5_KIND_REGEXP_PLUS = 258,
    CVC5_KIND_REGEXP_OPT = 259,
    CVC5_KIND_REGEXP_RANGE = 260,
    CVC5_KIND_REGEXP_REPEAT = 261,
    CVC5_KIND_REGEXP_LOOP = 262,
    CVC5_KIND_REGEXP_NONE = 263,
    CVC5_KIND_REGEXP_ALL = 264,
    CVC5_KIND_REGEXP_ALLCHAR = 265,
    CVC5_KIND_REGEXP_COMPLEMENT = 266,
    CVC5_KIND_SEQ_CONCAT = 267,
    CVC5_KIND_SEQ_LENGTH = 268,
    CVC5_KIND_SEQ_EXTRACT = 269,
    CVC5_KIND_SEQ_UPDATE = 270,
    CVC5_KIND_SEQ_AT = 271,
    CVC5_KIND_SEQ_CONTAINS = 272,
    CVC5_KIND_SEQ_INDEXOF = 273,
    CVC5_KIND_SEQ_REPLACE = 274,
    CVC5_KIND_SEQ_REPLACE_ALL = 275,
    CVC5_KIND_SEQ_REV = 276,
    CVC5_KIND_SEQ_PREFIX = 277,
    CVC5_KIND_SEQ_SUFFIX = 278,
    CVC5_KIND_CONST_SEQUENCE = 279,
    CVC5_KIND_SEQ_UNIT = 280,
    CVC5_KIND_SEQ_NTH = 281,
    CVC5_KIND_FORALL = 282,
    CVC5_KIND_EXISTS = 283,
    CVC5_KIND_VARIABLE_LIST = 284,
    CVC5_KIND_INST_PATTERN = 285,
    CVC5_KIND_INST_NO_PATTERN = 286,
    CVC5_KIND_INST_POOL = 287,
    CVC5_KIND_INST_ADD_TO_POOL = 288,
    CVC5_KIND_SKOLEM_ADD_TO_POOL = 289,
    CVC5_KIND_INST_ATTRIBUTE = 290,
    CVC5_KIND_INST_PATTERN_LIST = 291,
    CVC5_KIND_LAST_KIND = 292,
}