Package owl.ltl.rewriter
Class SyntacticSimplifier
- java.lang.Object
-
- owl.ltl.rewriter.SyntacticSimplifier
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description 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(Negation negation)Formulavisit(ROperator rOperator)Formulavisit(UOperator uOperator)Formulavisit(WOperator wOperator)Formulavisit(XOperator xOperator)static FormulavisitConjunction(Collection<Formula> oldConjunction, boolean allowNewFormulas)
-
-
-
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)
-
visitConjunction
public static Formula visitConjunction(Collection<Formula> oldConjunction, boolean allowNewFormulas)
-
-