Package owl.ltl.robust
Class Split
- java.lang.Object
-
- owl.ltl.robust.Split
-
public abstract class Split extends Object
-
-
Constructor Summary
Constructors Constructor Description Split()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description List<Formula>all()abstract Formulaalways()static BinaryOperator<Split>combiner(BinaryOperator<Formula> formulaCombiner)abstract Formulaeventually()abstract FormulaeventuallyAlways()Formulaget(Robustness level)abstract FormulainfinitelyOften()Splitmap(UnaryOperator<Formula> map)Splitmap(UnaryOperator<Formula> map, boolean grFree)StringtoString()
-
-
-
Method Detail
-
always
public abstract Formula always()
-
eventuallyAlways
public abstract Formula eventuallyAlways()
-
infinitelyOften
public abstract Formula infinitelyOften()
-
eventually
public abstract Formula eventually()
-
combiner
public static BinaryOperator<Split> combiner(BinaryOperator<Formula> formulaCombiner)
-
map
public Split map(UnaryOperator<Formula> map)
-
map
public Split map(UnaryOperator<Formula> map, boolean grFree)
-
get
public Formula get(Robustness level)
-
-