| org.mandarax.kernel.LoopCheckingAlgorithm
All known Subclasses: org.mandarax.reference.NullLoopCheckingAlgorithm, org.mandarax.reference.DefaultLoopCheckingAlgorithm,
| LoopCheckingAlgorithm | | public interface LoopCheckingAlgorithm (Code) | | Interface for abstract loop checkers. The inference engine passes a list of clauses
that have been applied recently, and the loop checker decides whether this is
an infinite loop or not. Implementing classes will not provide an algorithm
that is theoretically correct (the checked list is finite, and there are recursive computations
always applying the same rule that are longer than this list but terminate).
But for certain (non mathematical) domains this will provide a correct loop checking.
Therefor this is a typical 80/20 approach.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.3 |
| Method Summary | |
| boolean | isInfiniteLoop(java.util.List appliedClauses)
Indicates whether the list of applied clauses represents an infinite loop. |
| isInfiniteLoop | | boolean isInfiniteLoop(java.util.List appliedClauses)(Code) | | Indicates whether the list of applied clauses represents an infinite loop.
a boolean
Parameters:
appliedClauses - a list |
|
|