Halt
io.github.kelvindev15.prolog.solver.Solver.Solution.Halt
A wrapper for the exception raised by the solver.
Attributes
Members list
Value members
Inherited methods
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
- Inherited from:
- Product
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
- Returns
-
in the default implementation, an
Iterator[Any] - Inherited from:
- Product
In this article