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