|
| bool | smtTypeIsAnyNonFuncSMTValueType (MlirType type) |
| | Checks if the given type is any non-func SMT value type.
|
| |
| bool | smtTypeIsAnySMTValueType (MlirType type) |
| | Checks if the given type is any SMT value type.
|
| |
| bool | smtTypeIsAArray (MlirType type) |
| | Checks if the given type is a smt::ArrayType.
|
| |
| MlirType | smtTypeGetArray (MlirContext ctx, MlirType domainType, MlirType rangeType) |
| | Creates an array type with the given domain and range types.
|
| |
| bool | smtTypeIsABitVector (MlirType type) |
| | Checks if the given type is a smt::BitVectorType.
|
| |
| MlirType | smtTypeGetBitVector (MlirContext ctx, int32_t width) |
| | Creates a smt::BitVectorType with the given width.
|
| |
| bool | smtTypeIsABool (MlirType type) |
| | Checks if the given type is a smt::BoolType.
|
| |
| MlirType | smtTypeGetBool (MlirContext ctx) |
| | Creates a smt::BoolType.
|
| |
| bool | smtTypeIsAInt (MlirType type) |
| | Checks if the given type is a smt::IntType.
|
| |
| MlirType | smtTypeGetInt (MlirContext ctx) |
| | Creates a smt::IntType.
|
| |
| bool | smtTypeIsASMTFunc (MlirType type) |
| | Checks if the given type is a smt::FuncType.
|
| |
| MlirType | smtTypeGetSMTFunc (MlirContext ctx, size_t numberOfDomainTypes, const MlirType *domainTypes, MlirType rangeType) |
| | Creates a smt::FuncType with the given domain and range types.
|
| |
| bool | smtTypeIsASort (MlirType type) |
| | Checks if the given type is a smt::SortType.
|
| |
| MlirType | smtTypeGetSort (MlirContext ctx, MlirIdentifier identifier, size_t numberOfSortParams, const MlirType *sortParams) |
| | Creates a smt::SortType with the given identifier and sort parameters.
|
| |
| bool | smtAttrCheckBVCmpPredicate (MlirContext ctx, MlirStringRef str) |
| | Checks if the given string is a valid smt::BVCmpPredicate.
|
| |
| bool | smtAttrCheckIntPredicate (MlirContext ctx, MlirStringRef str) |
| | Checks if the given string is a valid smt::IntPredicate.
|
| |
| bool | smtAttrIsASMTAttribute (MlirAttribute attr) |
| | Checks if the given attribute is a smt::SMTAttribute.
|
| |
| MlirAttribute | smtAttrGetBitVector (MlirContext ctx, uint64_t value, unsigned width) |
| | Creates a smt::BitVectorAttr with the given value and width.
|
| |
| MlirAttribute | smtAttrGetBVCmpPredicate (MlirContext ctx, MlirStringRef str) |
| | Creates a smt::BVCmpPredicateAttr with the given string.
|
| |
| MlirAttribute | smtAttrGetIntPredicate (MlirContext ctx, MlirStringRef str) |
| | Creates a smt::IntPredicateAttr with the given string.
|
| |
