| java.lang.Object de.uka.ilkd.key.strategy.QueueRuleApplicationManager
clearCache | public void clearCache()(Code) | | Clear the heap of applicable rules
|
next | public RuleApp next()(Code) | | the first applicable rule app, i.e. the least expensive elementof the heap that is not obsolete |
peekNext | public RuleApp peekNext()(Code) | | the first applicable rule app, i.e. the least expensive elementof the heap that is not obsolete and caches the result of thisoperation to save some time the next time the methodnextAndCache() or next() is called. A call of next() empties thecache again. |
printQueue | void printQueue(HeapOfRuleAppContainer p_queue)(Code) | | |
ruleAdded | public void ruleAdded(RuleApp rule, PosInOccurrence pos)(Code) | | Implementation of the method from NewRuleListener . The new
rule app is added to the heap
|
|
|