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