public class ClassConstraint extends java.lang.Object implements FOConvertable
Constructor and Description |
---|
ClassConstraint(IRI clazz,
ClassConstraint classConstraint)
Copy constructor for replication.
|
ClassConstraint(WA wa,
boolean isSingleton,
IRI clazz,
java.util.List<IRI> subClazzes,
java.util.List<PropConstraint> qpcs,
java.util.List<Key> keys) |
Modifier and Type | Method and Description |
---|---|
IRI |
getClazz() |
java.util.List<Key> |
getKeys() |
java.util.List<PropConstraint> |
getPropConstraints() |
java.util.List<IRI> |
getSubClazzes() |
boolean |
isOWA() |
boolean |
isSingleton() |
java.util.Collection<IRI> |
mentionedProps() |
java.util.Set<FOFormula> |
toFOL(Environment e) |
java.util.Set<FOFormula> |
toFOL(Environment e,
java.util.Set<IRI> handled)
Helper method for the evaluation phase, maintaining a list of handled
classes to break endless recursion in case of cyclic class hierarchies.
|
java.lang.String |
toString() |
public ClassConstraint(WA wa, boolean isSingleton, IRI clazz, java.util.List<IRI> subClazzes, java.util.List<PropConstraint> qpcs, java.util.List<Key> keys)
public ClassConstraint(IRI clazz, ClassConstraint classConstraint)
public IRI getClazz()
public java.util.List<IRI> getSubClazzes()
public boolean isSingleton()
public boolean isOWA()
public java.util.List<Key> getKeys()
public java.util.List<PropConstraint> getPropConstraints()
public java.util.Collection<IRI> mentionedProps()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<FOFormula> toFOL(Environment e)
toFOL
in interface FOConvertable
public java.util.Set<FOFormula> toFOL(Environment e, java.util.Set<IRI> handled)