Package owl.ltl.rewriter
Class PullUpXVisitor.XFormula
- java.lang.Object
-
- owl.ltl.rewriter.PullUpXVisitor.XFormula
-
- Enclosing class:
- PullUpXVisitor
public static final class PullUpXVisitor.XFormula extends Object
-
-
Method Detail
-
rawFormula
public Formula rawFormula()
-
depth
public int depth()
-
-