public abstract class SmallerThanFeature extends BinaryTacletAppFeature
Modifier and Type | Class and Description |
---|---|
protected static class |
SmallerThanFeature.Collector |
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
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
Copyright © 2003-2019 The KeY-Project.