public class ClassConstraintSec extends java.lang.Object implements FOConvertable
Constructor and Description |
---|
ClassConstraintSec(WA worldAssumption,
java.util.List<ClassConstraint> ccs) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ClassConstraint> |
getClassConstraints() |
boolean |
isOWA() |
java.util.Set<FOFormula> |
toFOL(Environment e) |
java.lang.String |
toString() |
public ClassConstraintSec(WA worldAssumption, java.util.List<ClassConstraint> ccs)
public java.util.List<ClassConstraint> getClassConstraints()
public boolean isOWA()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<FOFormula> toFOL(Environment e)
toFOL
in interface FOConvertable