|
| |
|
| java.lang.Object
 org.mandarax.reference.DefaultLoopCheckingAlgorithm
| DefaultLoopCheckingAlgorithm | | public class DefaultLoopCheckingAlgorithm implements LoopCheckingAlgorithm,LogCategories(Code) | | Simple implementation of a loop checking algorithm that can be customized
by setting some parameters. Suitable if one can estimate the recurrence patterns
causing an infinite loop. (number of recurrences indicating that we are in a loop, max
number of recuring patterns).
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.3 |
| DefaultLoopCheckingAlgorithm | | public DefaultLoopCheckingAlgorithm()(Code) | | Constructor.
|
| DefaultLoopCheckingAlgorithm | | public DefaultLoopCheckingAlgorithm(int par1, int par2, int par3)(Code) | | Constructor.
Parameters:
par1 - we check for sequences of clauses that are repeated. this is the max length of such patterns checked
Parameters:
par2 - the min number of recurrences of a pattern needed to regard this sequence as an infinite loop
Parameters:
par3 - number of proof steps without checks |
| getMaxPatternLength | | public int getMaxPatternLength()(Code) | | Get the max pattern length.
a value |
| getMinRecurrenceNumber | | public int getMinRecurrenceNumber()(Code) | | Get the min recurrence number.
a value |
| getNumberOfStepsWithoutCheck | | public int getNumberOfStepsWithoutCheck()(Code) | | Get the number of steps without checks.
a value |
| isInfiniteLoop | | public boolean isInfiniteLoop(java.util.List appliedClauses)(Code) | | Indicates whether the list of applied clauses represents an infinite loop.
No loop checking means return false.
false
Parameters:
appliedClauses - a list |
| setMaxPatternLength | | public void setMaxPatternLength(int value)(Code) | | Set the max pattern length.
Parameters:
value - the new value |
| setMinRecurrenceNumber | | public void setMinRecurrenceNumber(int value)(Code) | | Set the min recurrence number.
Parameters:
value - the new value |
| setNumberOfStepsWithoutChecks | | public void setNumberOfStepsWithoutChecks(int value)(Code) | | Set the number of steps without checks.
Parameters:
value - the new value |
|
|
|