public abstract class AbstractMonomialSmallerThanFeature extends SmallerThanFeature
Modifier and Type | Class and Description |
---|---|
private class |
AbstractMonomialSmallerThanFeature.AtomCollector |
SmallerThanFeature.Collector
Modifier and Type | Field and Description |
---|---|
private Function |
add |
private Function |
mul |
private static Name |
newSymRuleSetName |
private Function |
Z |
TOP_COST, ZERO_COST
Modifier | Constructor and Description |
---|---|
protected |
AbstractMonomialSmallerThanFeature(IntegerLDT numbers) |
Modifier and Type | Method and Description |
---|---|
protected ImmutableList<Term> |
collectAtoms(Term t) |
private boolean |
inNewSmallSymRuleSet(TacletApp tapp) |
private boolean |
introducesSkolemSymbol(TacletApp tapp,
Operator op) |
protected int |
introductionTime(Operator op,
Goal goal) |
private int |
introductionTimeHelp(Operator op,
Goal goal) |
compare, lessThan, lessThan
filter, filter
computeCost
private static final Name newSymRuleSetName
private final Function add
private final Function mul
private final Function Z
protected AbstractMonomialSmallerThanFeature(IntegerLDT numbers)
private boolean inNewSmallSymRuleSet(TacletApp tapp)
protected ImmutableList<Term> collectAtoms(Term t)