public abstract class AbstractMonomialSmallerThanFeature extends SmallerThanFeature
SmallerThanFeature.Collector
TOP_COST, ZERO_COST
Modifier | Constructor and Description |
---|---|
protected |
AbstractMonomialSmallerThanFeature(IntegerLDT numbers) |
Modifier and Type | Method and Description |
---|---|
protected ImmutableList<Term> |
collectAtoms(Term t) |
protected int |
introductionTime(Operator op,
Goal goal) |
compare, lessThan, lessThan
filter, filter
computeCost
protected AbstractMonomialSmallerThanFeature(IntegerLDT numbers)
protected ImmutableList<Term> collectAtoms(Term t)
Copyright © 2003-2019 The KeY-Project.