public class ReduceMonomialsProjection extends java.lang.Object implements ProjectionToTerm
Modifier and Type | Field and Description |
---|---|
private ProjectionToTerm |
dividend |
private ProjectionToTerm |
divisor |
Modifier | Constructor and Description |
---|---|
private |
ReduceMonomialsProjection(ProjectionToTerm dividend,
ProjectionToTerm divisor) |
Modifier and Type | Method and Description |
---|---|
static ProjectionToTerm |
create(ProjectionToTerm dividend,
ProjectionToTerm divisor) |
Term |
toTerm(RuleApp app,
PosInOccurrence pos,
Goal goal) |
private final ProjectionToTerm dividend
private final ProjectionToTerm divisor
private ReduceMonomialsProjection(ProjectionToTerm dividend, ProjectionToTerm divisor)
public static ProjectionToTerm create(ProjectionToTerm dividend, ProjectionToTerm divisor)
public Term toTerm(RuleApp app, PosInOccurrence pos, Goal goal)
toTerm
in interface ProjectionToTerm