diff options
Diffstat (limited to 'src/expr/skolem_manager.h')
| -rw-r--r-- | src/expr/skolem_manager.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/skolem_manager.h b/src/expr/skolem_manager.h index a18de8a2e..780413d17 100644 --- a/src/expr/skolem_manager.h +++ b/src/expr/skolem_manager.h @@ -112,6 +112,10 @@ enum class SkolemFunId * i = 0, ..., n. */ RE_UNFOLD_POS_COMPONENT, + BAGS_FOLD_CARD, + BAGS_FOLD_COMBINE, + BAGS_FOLD_ELEMENTS, + BAGS_FOLD_UNION_DISJOINT, /** An interpreted function for bag.choose operator: * (bag.choose A) is expanded as * (witness ((x elementType)) |