ulkb.Theory.enumerate_extensions#
- Theory.enumerate_extensions(*args, limit=None, offset=None, id=None, class_=None)[source]#
Enumerates extensions matching criteria.
If offset is not given, assumes
Theory.prelude_offset
.- Parameters:
args – Expressions that must occur in extension.
limit – Maximum number of results.
offset – Minimum offset.
id – Id (regex).
class – Class.
- Returns:
An iterator of index-
Extension
pairs.
See also