Package owl.factories
Class PropositionVisitor
- java.lang.Object
-
- owl.factories.PropositionVisitor
-
- All Implemented Interfaces:
IntVisitor
public final class PropositionVisitor extends Object implements IntVisitor
For the propositional view on LTL modal operators (F, G, U, X) and literals (a, !a) are treated as propositions.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static Deque<Formula>extractPropositions(Formula formula)intvisit(BooleanConstant booleanConstant)intvisit(Conjunction conjunction)intvisit(Disjunction disjunction)intvisit(FOperator fOperator)intvisit(FrequencyG freq)intvisit(GOperator gOperator)intvisit(Literal literal)intvisit(MOperator mOperator)intvisit(ROperator rOperator)intvisit(UOperator uOperator)intvisit(WOperator wOperator)intvisit(XOperator xOperator)-
Methods inherited from interface owl.ltl.visitors.IntVisitor
visit
-
-
-
-
Method Detail
-
visit
public int visit(BooleanConstant booleanConstant)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(Conjunction conjunction)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(Disjunction disjunction)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(FOperator fOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(FrequencyG freq)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(GOperator gOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(Literal literal)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(MOperator mOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(ROperator rOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(UOperator uOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(WOperator wOperator)
- Specified by:
visitin interfaceIntVisitor
-
visit
public int visit(XOperator xOperator)
- Specified by:
visitin interfaceIntVisitor
-
-