public class SortComparisonFeature extends BinaryFeature
Modifier and Type | Field and Description |
---|---|
private int |
comparator |
private ProjectionToTerm |
s1 |
private ProjectionToTerm |
s2 |
static int |
SUBSORT |
TOP_COST, ZERO_COST
Modifier | Constructor and Description |
---|---|
private |
SortComparisonFeature(ProjectionToTerm s1,
ProjectionToTerm s2,
int comparator)
creates a new comparision term feature
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
compare(Sort sort1,
Sort sort2) |
static Feature |
create(ProjectionToTerm s1,
ProjectionToTerm s2,
int cmp) |
protected boolean |
filter(RuleApp app,
PosInOccurrence pos,
Goal goal)
Compute whether the result of the feature is zero (
true )
or infinity (false ) |
computeCost
public static final int SUBSORT
private final ProjectionToTerm s1
private final ProjectionToTerm s2
private final int comparator
private SortComparisonFeature(ProjectionToTerm s1, ProjectionToTerm s2, int comparator)
public static Feature create(ProjectionToTerm s1, ProjectionToTerm s2, int cmp)
protected boolean filter(RuleApp app, PosInOccurrence pos, Goal goal)
BinaryFeature
true
)
or infinity (false
)filter
in class BinaryFeature
app
- the RuleApppos
- position where app
is to be appliedgoal
- the goal on which app
is to be applied