Package owl.translations.mastertheorem
Class Rewriter.ToSafety
- java.lang.Object
-
- owl.translations.mastertheorem.Rewriter.ToSafety
-
-
Constructor Summary
Constructors Constructor Description ToSafety(Iterable<? extends Formula.TemporalOperator> x)ToSafety(Fixpoints fixpoints)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Formulaapply(Formula formula)Formulavisit(FOperator fOperator)Formulavisit(GOperator gOperator)Formulavisit(MOperator mOperator)Formulavisit(ROperator rOperator)Formulavisit(UOperator uOperator)Formulavisit(WOperator wOperator)
-
-
-
Constructor Detail
-
ToSafety
public ToSafety(Fixpoints fixpoints)
-
ToSafety
public ToSafety(Iterable<? extends Formula.TemporalOperator> x)
-
-