public class SetsSmallerThanFeature extends SmallerThanFeature
Modifier and Type | Class and Description |
---|---|
private class |
SetsSmallerThanFeature.LiteralCollector |
SmallerThanFeature.Collector
Modifier and Type | Field and Description |
---|---|
private ProjectionToTerm |
left |
private LocSetLDT |
locSetLDT |
private ProjectionToTerm |
right |
TOP_COST, ZERO_COST
Modifier | Constructor and Description |
---|---|
private |
SetsSmallerThanFeature(ProjectionToTerm left,
ProjectionToTerm right,
LocSetLDT locSetLDT) |
Modifier and Type | Method and Description |
---|---|
static Feature |
create(ProjectionToTerm left,
ProjectionToTerm right,
LocSetLDT locSetLDT) |
protected boolean |
filter(TacletApp app,
PosInOccurrence pos,
Goal goal)
Compute whether the result of the feature is zero (
true )
or infinity (false ) |
protected boolean |
origLessThan(Term leftTerm,
Term rightTerm,
PosInOccurrence pos,
Goal goal) |
compare, lessThan, lessThan
filter
computeCost
private final ProjectionToTerm left
private final ProjectionToTerm right
private final LocSetLDT locSetLDT
private SetsSmallerThanFeature(ProjectionToTerm left, ProjectionToTerm right, LocSetLDT locSetLDT)
public static Feature create(ProjectionToTerm left, ProjectionToTerm right, LocSetLDT locSetLDT)
protected boolean filter(TacletApp app, PosInOccurrence pos, Goal goal)
BinaryTacletAppFeature
true
)
or infinity (false
)filter
in class BinaryTacletAppFeature
app
- the TacletApppos
- position where app
is to be appliedgoal
- the goal on which app
is to be appliedprotected boolean origLessThan(Term leftTerm, Term rightTerm, PosInOccurrence pos, Goal goal)