Package owl.ltl.rewriter
Class DeduplicationRewriter
- java.lang.Object
-
- owl.ltl.rewriter.DeduplicationRewriter
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static Formuladeduplicate(Formula formula)Formulavisit(Biconditional biconditional)Formulavisit(BooleanConstant booleanConstant)Formulavisit(Conjunction conjunction)Formulavisit(Disjunction disjunction)Formulavisit(FOperator fOperator)Formulavisit(GOperator gOperator)Formulavisit(Literal literal)Formulavisit(MOperator mOperator)Formulavisit(ROperator rOperator)Formulavisit(UOperator uOperator)Formulavisit(WOperator wOperator)Formulavisit(XOperator xOperator)
-
-
-
Method Detail
-
visit
public Formula visit(Biconditional biconditional)
-
visit
public Formula visit(BooleanConstant booleanConstant)
-
visit
public Formula visit(Conjunction conjunction)
-
visit
public Formula visit(Disjunction disjunction)
-
-