public class TotalityConstraint extends PropConstraint
Constructor and Description |
---|
TotalityConstraint() |
Modifier and Type | Method and Description |
---|---|
java.util.List<FOFormula> |
toFOL(IRI clazz,
Environment e) |
java.lang.String |
toString() |
getPropWithRange, setPropWithRangeType
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