All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type |
Method and Description |
protected abstract boolean |
compare(Polynomial leftPoly,
Polynomial rightPoly) |
static Feature |
divides(ProjectionToTerm left,
ProjectionToTerm right) |
static Feature |
divides(ProjectionToTerm left,
ProjectionToTerm right,
ProjectionToTerm leftCoeff,
ProjectionToTerm rightCoeff) |
static Feature |
eq(ProjectionToTerm left,
ProjectionToTerm right) |
static Feature |
eq(ProjectionToTerm left,
ProjectionToTerm right,
ProjectionToTerm leftCoeff,
ProjectionToTerm rightCoeff) |
protected boolean |
filter(TacletApp app,
PosInOccurrence pos,
Goal goal)
Compute whether the result of the feature is zero (true )
or infinity (false )
|
private Polynomial |
getPolynomial(ProjectionToTerm polyProj,
ProjectionToTerm coeffProj,
TacletApp app,
PosInOccurrence pos,
Goal goal) |
static Feature |
leq(ProjectionToTerm left,
ProjectionToTerm right) |
static Feature |
leq(ProjectionToTerm left,
ProjectionToTerm right,
ProjectionToTerm leftCoeff,
ProjectionToTerm rightCoeff) |
static Feature |
lt(ProjectionToTerm left,
ProjectionToTerm right) |
static Feature |
lt(ProjectionToTerm left,
ProjectionToTerm right,
ProjectionToTerm leftCoeff,
ProjectionToTerm rightCoeff) |