Package owl.translations.mastertheorem
Class Rewriter.ToCoSafety
- java.lang.Object
-
- owl.translations.mastertheorem.Rewriter.ToCoSafety
-
-
Constructor Summary
Constructors Constructor Description ToCoSafety(Iterable<? extends Formula.TemporalOperator> y)ToCoSafety(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
-
ToCoSafety
public ToCoSafety(Fixpoints fixpoints)
-
ToCoSafety
public ToCoSafety(Iterable<? extends Formula.TemporalOperator> y)
-
-