Package owl.ltl.robust
Class LabelledSplit
- java.lang.Object
-
- owl.ltl.robust.LabelledSplit
-
public abstract class LabelledSplit extends Object
-
-
Constructor Summary
Constructors Constructor Description LabelledSplit()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description LabelledFormulaalways()LabelledFormulaeventually()LabelledFormulaeventuallyAlways()LabelledFormulainfinitelyOften()LabelledSplitmap(UnaryOperator<Formula> map)static LabelledSplitof(Split split, List<String> variables)LabelledFormulatoLtl(EnumSet<Robustness> robustness)StringtoString()abstract List<String>variables()
-
-
-
Method Detail
-
always
public LabelledFormula always()
-
eventuallyAlways
public LabelledFormula eventuallyAlways()
-
infinitelyOften
public LabelledFormula infinitelyOften()
-
eventually
public LabelledFormula eventually()
-
of
public static LabelledSplit of(Split split, List<String> variables)
-
toLtl
public LabelledFormula toLtl(EnumSet<Robustness> robustness)
-
map
public LabelledSplit map(UnaryOperator<Formula> map)
-
-