Modifier and Type | Class and Description |
---|---|
private class |
ContainsTermFeature.ContainsTermVisitor |
Modifier and Type | Field and Description |
---|---|
private ProjectionToTerm |
proj1 |
private ProjectionToTerm |
proj2 |
static RuleAppCost |
TOP_COST
Constant that represents the boolean value false
|
static RuleAppCost |
ZERO_COST
Constant that represents the boolean value true
|
Modifier | Constructor and Description |
---|---|
private |
ContainsTermFeature(ProjectionToTerm proj1,
ProjectionToTerm proj2) |
Modifier and Type | Method and Description |
---|---|
RuleAppCost |
computeCost(RuleApp app,
PosInOccurrence pos,
Goal goal)
Evaluate the cost of a
RuleApp . |
static Feature |
create(ProjectionToTerm proj1,
ProjectionToTerm proj2) |
public static final RuleAppCost ZERO_COST
public static final RuleAppCost TOP_COST
private final ProjectionToTerm proj1
private final ProjectionToTerm proj2
private ContainsTermFeature(ProjectionToTerm proj1, ProjectionToTerm proj2)
proj
- the ProjectionToTerm to the instantiation is supposed
to be inspectedtermFeature
- the term feature to usenoInstCost
- result if schemaVar
is not instantiateddemandInst
- if true
then raise an exception if
schemaVar
is not instantiated (otherwise:
return noInstCost
)public static Feature create(ProjectionToTerm proj1, ProjectionToTerm proj2)
public RuleAppCost computeCost(RuleApp app, PosInOccurrence pos, Goal goal)
Feature
RuleApp
.computeCost
in interface Feature
app
- the RuleApppos
- position where app
is to be appliedgoal
- the goal on which app
is to be appliedRuleAppCost
object. TopRuleAppCost.INSTANCE
indicates that the rule shall not be applied at all (it is discarded by
the strategy).