Package owl.translations.mastertheorem

Class Rewriter.ToCoSafety

java.lang.Object

owl.translations.mastertheorem.Rewriter.ToCoSafety

All Implemented Interfaces:

Function<Formula,Formula>, Visitor<Formula>

Enclosing class:

Rewriter

public static final class Rewriter.ToCoSafety
extends Object

Constructor Summary

Constructors

Constructor	Description
ToCoSafety(Iterable<? extends Formula.TemporalOperator> y)
ToCoSafety(Fixpoints fixpoints)

Method Summary

Modifier and Type	Method	Description
Formula	apply(Formula formula)
Formula	visit(FOperator fOperator)
Formula	visit(GOperator gOperator)
Formula	visit(MOperator mOperator)
Formula	visit(ROperator rOperator)
Formula	visit(UOperator uOperator)
Formula	visit(WOperator wOperator)

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

Methods inherited from interface owl.ltl.visitors.Visitor

visit, visit

Constructor Detail

ToCoSafety

public ToCoSafety(Fixpoints fixpoints)

ToCoSafety

public ToCoSafety(Iterable<? extends Formula.TemporalOperator> y)

Method Detail

apply

public Formula apply(Formula formula)

visit

public Formula visit(FOperator fOperator)

visit

public Formula visit(GOperator gOperator)

visit

public Formula visit(MOperator mOperator)

visit

public Formula visit(ROperator rOperator)

visit

public Formula visit(UOperator uOperator)

visit

public Formula visit(WOperator wOperator)