diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2020-10-21 08:19:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-21 08:19:55 -0500 |
| commit | 098cee0ea412e24e24caa79307e2950a640279af (patch) | |
| tree | e0936bddb8700206d9d0691150b0b4af9dd23dc4 /src/api | |
| parent | e91077d81183c6c54ff0fdad5c6eb160f16c4205 (diff) | |
Add operator MakeBagOp for constructing bags (#5209)
This PR removes subtyping rules for bags and add operator MakeBagOp similar to SingletonOp
Diffstat (limited to 'src/api')
| -rw-r--r-- | src/api/cvc4cppkind.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/api/cvc4cppkind.h b/src/api/cvc4cppkind.h index 913a4a993..d6ee24f1e 100644 --- a/src/api/cvc4cppkind.h +++ b/src/api/cvc4cppkind.h @@ -1841,7 +1841,8 @@ enum CVC4_PUBLIC Kind : int32_t */ MEMBER, /** - * The set of the single element given as a parameter. + * Construct a singleton set from an element given as a parameter. + * The returned set has same type of the element. * Parameters: 1 * -[1]: Single element * Create with: |