public abstract class CostEstimator extends Object
| Constructor and Description |
|---|
CostEstimator() |
| Modifier and Type | Method and Description |
|---|---|
abstract int |
computeCost(Set context,
AbstractClause clause,
Set literalvars,
String rulename)
INTERNAL: Computes the cost of evaluating the given clause
in the given context of variable bindings.
|
public abstract int computeCost(Set context, AbstractClause clause, Set literalvars, String rulename)
context - A set of bound variables.clause - The clause whose cost we want to compute.literalvars - Contains the variables representing literals.
Only an issue in rules.rulename - The name of the current rule (so we can delay
recursive evaluation).