public class PropConstraintSec extends java.lang.Object implements FOConvertable
Constructor and Description |
---|
PropConstraintSec(WA worldAssumption,
java.util.List<PropConstraint> pcs) |
Modifier and Type | Method and Description |
---|---|
java.util.List<PropConstraint> |
getPropConstraints() |
boolean |
isOWA() |
java.util.Collection<IRI> |
mentionedProps() |
java.util.Set<FOFormula> |
toFOL(Environment e) |
java.lang.String |
toString() |
public PropConstraintSec(WA worldAssumption, java.util.List<PropConstraint> pcs)
public java.util.List<PropConstraint> getPropConstraints()
public boolean isOWA()
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