diff options
Diffstat (limited to 'src/expr/skolem_manager.h')
| -rw-r--r-- | src/expr/skolem_manager.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/skolem_manager.h b/src/expr/skolem_manager.h index 780413d17..cca28ccf0 100644 --- a/src/expr/skolem_manager.h +++ b/src/expr/skolem_manager.h @@ -112,6 +112,12 @@ enum class SkolemFunId * i = 0, ..., n. */ RE_UNFOLD_POS_COMPONENT, + /** Sequence model construction, element for base */ + SEQ_MODEL_BASE_ELEMENT, + BAGS_CARD_CARDINALITY, + BAGS_CARD_ELEMENTS, + BAGS_CARD_N, + BAGS_CARD_UNION_DISJOINT, BAGS_FOLD_CARD, BAGS_FOLD_COMBINE, BAGS_FOLD_ELEMENTS, |