The rules grouped by their target.
The (possibly infinite) enumeration of all (lazyly) interpreted inhabitants .
Indicates if this result is empty.
Indicates if this result contains infinitely many inhabitants.
an interpreter to turn inhabitants into scala objects.
a tree grammar rule representation of all inhabitants.
Computes the number of results, or None if this result is infinite.
the inhabitation request target type.
The (possibly infinite) enumeration of all inhabitants .
(Since version ) see corresponding Javadoc for more information.
Encapsulates an inhabitation result.
the native scala type of the requested inhabitants.
a tree grammar rule representation of all inhabitants.
the inhabitation request target type.
an interpreter to turn inhabitants into scala objects.