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.