Package owl.ltl.visitors

Class SolverSyntaxOperatorReplacer

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

    • Method Summary

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

    • Constructor Detail

      • SolverSyntaxOperatorReplacer

        public SolverSyntaxOperatorReplacer()

    • Method Detail

      • apply

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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

      • visit

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