Package owl.ltl.visitors

Class FormulaMutator

java.lang.Object

owl.ltl.visitors.FormulaMutator

All Implemented Interfaces:

Function<owl.ltl.Formula,owl.ltl.Formula>, owl.ltl.visitors.Visitor<owl.ltl.Formula>

public class FormulaMutator
extends Object
implements owl.ltl.visitors.Visitor<owl.ltl.Formula>

Field Summary

Fields

Modifier and Type	Field	Description
int	numOfAllowedMutations

Constructor Summary

Constructors

Constructor	Description
FormulaMutator(List<String> literals, int mutation_rate, int max_num_of_mutations_to_apply)

Method Summary

Modifier and Type	Method	Description
owl.ltl.Formula	apply(owl.ltl.Formula formula)
List<String>	variables()
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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Function

andThen, compose

Field Detail

numOfAllowedMutations

public int numOfAllowedMutations

Constructor Detail

FormulaMutator

public FormulaMutator(List<String> literals,
                      int mutation_rate,
                      int max_num_of_mutations_to_apply)

Method Detail

variables

public List<String> variables()

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.BooleanConstant booleanConstant)

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.XOperator xOperator)

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.GOperator gOperator)

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.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.MOperator mOperator)

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.Biconditional biconditional)

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.OOperator oOperator)

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.TOperator tOperator)

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.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>