Package owl.ltl.parser
Class LtlfToLtlTranslator.LtlfToLtlVisitor
- java.lang.Object
-
- owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classLtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
-
Constructor Summary
Constructors Constructor Description LtlfToLtlVisitor(Literal tail)
-
Method Summary
All 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)
-
-
-
Constructor Detail
-
LtlfToLtlVisitor
public LtlfToLtlVisitor(Literal tail)
-
-
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)
-
-