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