Package owl.ltl.visitors

Class PropositionVariablesExtractor

  • All Implemented Interfaces:
    Function<owl.ltl.Formula,​Set<owl.ltl.Literal>>, owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>
    public class PropositionVariablesExtractor
extends Object
implements owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Set<owl.ltl.Literal> apply​(owl.ltl.Formula formula)  
      Set<owl.ltl.Literal> visit​(owl.ltl.Biconditional biconditional)  
      Set<owl.ltl.Literal> visit​(owl.ltl.BooleanConstant booleanConstant)  
      Set<owl.ltl.Literal> visit​(owl.ltl.Conjunction conjunction)  
      Set<owl.ltl.Literal> visit​(owl.ltl.Disjunction disjunction)  
      Set<owl.ltl.Literal> visit​(owl.ltl.FOperator fOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.FrequencyG freq)  
      Set<owl.ltl.Literal> visit​(owl.ltl.GOperator gOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.HOperator hOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.Literal literal)  
      Set<owl.ltl.Literal> visit​(owl.ltl.MOperator mOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.OOperator oOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.ROperator rOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.SOperator sOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.TOperator tOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.UOperator uOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.WOperator wOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.XOperator xOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.YOperator yOperator)  
      Set<owl.ltl.Literal> visit​(owl.ltl.ZOperator zOperator)  

    • Constructor Detail

      • PropositionVariablesExtractor

        public PropositionVariablesExtractor()

    • Method Detail

      • apply

        public Set<owl.ltl.Literal> apply​(owl.ltl.Formula formula)
        Specified by:
        apply in interface Function<owl.ltl.Formula,​Set<owl.ltl.Literal>>
        Specified by:
        apply in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.Biconditional biconditional)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.BooleanConstant booleanConstant)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.Conjunction conjunction)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.Disjunction disjunction)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.FOperator fOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.FrequencyG freq)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.GOperator gOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.Literal literal)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.MOperator mOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.ROperator rOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.UOperator uOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.WOperator wOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.XOperator xOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.OOperator oOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.HOperator hOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.TOperator tOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.SOperator sOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.YOperator yOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>

      • visit

        public Set<owl.ltl.Literal> visit​(owl.ltl.ZOperator zOperator)
        Specified by:
        visit in interface owl.ltl.visitors.Visitor<Set<owl.ltl.Literal>>