public class MonomialsSmallerThanFeature extends AbstractMonomialSmallerThanFeature
Modifier and Type | Class and Description |
---|---|
private class |
MonomialsSmallerThanFeature.MonomialCollector |
SmallerThanFeature.Collector
Modifier and Type | Field and Description |
---|---|
private Function |
add |
private TermFeature |
hasCoeff |
private ProjectionToTerm |
left |
private Function |
mul |
private ProjectionToTerm |
right |
private Function |
Z |
TOP_COST, ZERO_COST
Modifier | Constructor and Description |
---|---|
private |
MonomialsSmallerThanFeature(ProjectionToTerm left,
ProjectionToTerm right,
IntegerLDT numbers) |
Modifier and Type | Method and Description |
---|---|
private int |
compareLexNewSyms(ImmutableList<Term> atoms1,
ImmutableList<Term> atoms2,
Goal goal) |
static Feature |
create(ProjectionToTerm left,
ProjectionToTerm right,
IntegerLDT numbers) |
(package private) static TermFeature |
createHasCoeffTermFeature(IntegerLDT numbers) |
private int |
degree(Term t) |
protected boolean |
filter(TacletApp app,
PosInOccurrence pos,
Goal goal)
Compute whether the result of the feature is zero (
true )
or infinity (false ) |
protected boolean |
lessThan(Term t1,
Term t2,
PosInOccurrence focus,
Goal goal)
this overwrites the method of
SmallerThanFeature |
collectAtoms, introductionTime
compare, lessThan
filter
computeCost
private final TermFeature hasCoeff
private final ProjectionToTerm left
private final ProjectionToTerm right
private final Function Z
private final Function mul
private final Function add
private MonomialsSmallerThanFeature(ProjectionToTerm left, ProjectionToTerm right, IntegerLDT numbers)
static TermFeature createHasCoeffTermFeature(IntegerLDT numbers)
public static Feature create(ProjectionToTerm left, ProjectionToTerm right, IntegerLDT numbers)
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 lessThan(Term t1, Term t2, PosInOccurrence focus, Goal goal)
SmallerThanFeature
lessThan
in class SmallerThanFeature
private int compareLexNewSyms(ImmutableList<Term> atoms1, ImmutableList<Term> atoms2, Goal goal)
private int degree(Term t)