Sequence sort.
| 3853 | |
| 3854 | |
| 3855 | class SeqSortRef(SortRef): |
| 3856 | """Sequence sort.""" |
| 3857 | |
| 3858 | __slots__ = ("_elem",) |
| 3859 | |
| 3860 | def __init__(self, elem: SortRef) -> None: |
| 3861 | super().__init__(SeqASTSort(elem._ast_sort)) |
| 3862 | self._elem = elem |
| 3863 | |
| 3864 | def basis(self) -> SortRef: |
| 3865 | """Return the element sort.""" |
| 3866 | return self._elem |
| 3867 | |
| 3868 | def is_string(self) -> bool: |
| 3869 | """True if this is Seq(Char), i.e. String.""" |
| 3870 | return isinstance(self._elem, CharSortRef) |
| 3871 | |
| 3872 | |
| 3873 | class SeqRef(ExprRef): |
no outgoing calls
no test coverage detected