public class PathConstraint extends PropConstraint
Constructor and Description |
---|
PathConstraint(java.util.List<IRI> path) |
Modifier and Type | Method and Description |
---|---|
java.util.List<IRI> |
getPath() |
java.util.List<FOFormula> |
toFOL(IRI clazz,
Environment e) |
java.lang.String |
toString() |
getPropWithRange, setPropWithRangeType
public PathConstraint(java.util.List<IRI> path)
public java.util.List<IRI> getPath()
public java.lang.String toString()
toString
in class PropConstraint
public java.util.List<FOFormula> toFOL(IRI clazz, Environment e)
toFOL
in interface FOConvertableInContext
toFOL
in class PropConstraint