public abstract class SmallerThanFeature extends BinaryTacletAppFeature
Modifier and Type | Class and Description |
---|---|
protected static class |
SmallerThanFeature.Collector |
Modifier and Type | Field and Description |
---|---|
private TermOrdering |
termOrdering |
TOP_COST, ZERO_COST
Constructor and Description |
---|
SmallerThanFeature() |
Modifier and Type | Method and Description |
---|---|
protected int |
compare(Term t1,
Term t2) |
protected boolean |
lessThan(ImmutableList<Term> list1,
ImmutableList<Term> list2,
PosInOccurrence focus,
Goal currentGoal) |
protected boolean |
lessThan(Term t1,
Term t2,
PosInOccurrence focus,
Goal currentGoal) |
filter, filter
computeCost
private final TermOrdering termOrdering
protected boolean lessThan(Term t1, Term t2, PosInOccurrence focus, Goal currentGoal)
protected final boolean lessThan(ImmutableList<Term> list1, ImmutableList<Term> list2, PosInOccurrence focus, Goal currentGoal)
true
iff each element of list1
is
strictly smaller than all elements of list2