public class QueueRuleApplicationManager extends java.lang.Object implements AutomatedRuleApplicationManager
AutomatedRuleApplicationManager
that stores
possible RuleApp
s in a priority queue. The element with highest
priority in the queue can be obtained via next()
. This operation
will remove the element from the queue. The priority of a given
RuleApp
corresponds to its RuleAppCost
. A RuleApp
can
be equipped with a RuleAppCost
by converting it into a
RuleAppContainer
. The cost of a RuleApp
is computed according
to a given Strategy
(see
Feature.computeCost(RuleApp, PosInOccurrence, Goal)
).Constructor and Description |
---|
QueueRuleApplicationManager() |
Modifier and Type | Method and Description |
---|---|
void |
clearCache()
Clear the heap of applicable rules
|
java.lang.Object |
clone() |
AutomatedRuleApplicationManager |
copy() |
RuleApp |
next() |
RuleApp |
peekNext() |
void |
ruleAdded(RuleApp rule,
PosInOccurrence pos)
Implementation of the method from
NewRuleListener . |
void |
rulesAdded(ImmutableList<? extends RuleApp> rules,
PosInOccurrence pos)
Implementation of the method from
NewRuleListener . |
void |
setGoal(Goal p_goal)
Set the goal
this is the rule app manager for |
public void setGoal(Goal p_goal)
AutomatedRuleApplicationManager
this
is the rule app manager forsetGoal
in interface AutomatedRuleApplicationManager
public void clearCache()
clearCache
in interface AutomatedRuleApplicationManager
public void ruleAdded(RuleApp rule, PosInOccurrence pos)
NewRuleListener
. The new
rule app is added to the heapruleAdded
in interface NewRuleListener
public void rulesAdded(ImmutableList<? extends RuleApp> rules, PosInOccurrence pos)
NewRuleListener
. The new
rule app is added to the heaprulesAdded
in interface NewRuleListener
public RuleApp peekNext()
peekNext
in interface AutomatedRuleApplicationManager
public RuleApp next()
next
in interface AutomatedRuleApplicationManager
public AutomatedRuleApplicationManager copy()
copy
in interface AutomatedRuleApplicationManager
public java.lang.Object clone()
clone
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.