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