public class RDD extends java.lang.Object implements FOConvertable
Constructor and Description |
---|
RDD(PrefixSec ps,
ClassConstraintSec ccs,
PropConstraintSec pcs) |
Modifier and Type | Method and Description |
---|---|
ClassConstraintSec |
getClassConstraintSec() |
PrefixSec |
getPrefixSec() |
PropConstraintSec |
getPropConstraintSec() |
java.util.Set<FOFormula> |
toFOL() |
java.util.Set<FOFormula> |
toFOL(Environment e) |
java.lang.String |
toString() |
public RDD(PrefixSec ps, ClassConstraintSec ccs, PropConstraintSec pcs)
public PrefixSec getPrefixSec()
public ClassConstraintSec getClassConstraintSec()
public PropConstraintSec getPropConstraintSec()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<FOFormula> toFOL()
public java.util.Set<FOFormula> toFOL(Environment e)
toFOL
in interface FOConvertable