Package owl.ltl.rewriter

Class PushNextThroughPropositionalVisitor

java.lang.Object

owl.ltl.rewriter.PushNextThroughPropositionalVisitor

All Implemented Interfaces:

BiFunction<Formula,Integer,Formula>, BinaryVisitor<Integer,Formula>

public final class PushNextThroughPropositionalVisitor
extends Object
implements BinaryVisitor<Integer,Formula>

Field Summary

Fields

Modifier and Type	Field	Description
static PushNextThroughPropositionalVisitor	INSTANCE

Constructor Summary

Constructors

Constructor	Description
PushNextThroughPropositionalVisitor()

Method Summary

Modifier and Type	Method	Description
static Formula	apply(Formula formula)
static LabelledFormula	apply(LabelledFormula formula)
Formula	visit(Biconditional biconditional, Integer parameter)
Formula	visit(BooleanConstant booleanConstant, Integer parameter)
Formula	visit(Conjunction conjunction, Integer parameter)
Formula	visit(Disjunction disjunction, Integer parameter)
Formula	visit(FOperator fOperator, Integer parameter)
Formula	visit(GOperator gOperator, Integer parameter)
Formula	visit(Literal literal, Integer parameter)
Formula	visit(MOperator mOperator, Integer parameter)
Formula	visit(ROperator rOperator, Integer parameter)
Formula	visit(UOperator uOperator, Integer parameter)
Formula	visit(WOperator wOperator, Integer parameter)
Formula	visit(XOperator xOperator, Integer parameter)

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

andThen

Methods inherited from interface owl.ltl.visitors.BinaryVisitor

apply, visit

Field Detail

INSTANCE

public static final PushNextThroughPropositionalVisitor INSTANCE

Constructor Detail

PushNextThroughPropositionalVisitor

public PushNextThroughPropositionalVisitor()

Method Detail

apply

public static Formula apply(Formula formula)

apply

public static LabelledFormula apply(LabelledFormula formula)

visit

public Formula visit(Biconditional biconditional,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(BooleanConstant booleanConstant,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(Conjunction conjunction,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(Disjunction disjunction,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(FOperator fOperator,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(GOperator gOperator,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(Literal literal,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(MOperator mOperator,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(UOperator uOperator,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(ROperator rOperator,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(WOperator wOperator,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>

visit

public Formula visit(XOperator xOperator,
                     Integer parameter)

Specified by:

visit in interface BinaryVisitor<Integer,Formula>