public abstract class Split
extends Object

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`List<Formula>`	`all()`
`abstract Formula`	`always()`
`static BinaryOperator<Split>`	`combiner(BinaryOperator<Formula> formulaCombiner)`
`abstract Formula`	`eventually()`
`abstract Formula`	`eventuallyAlways()`
`Formula`	`get(Robustness level)`
`abstract Formula`	`infinitelyOften()`
`Split`	`map(UnaryOperator<Formula> map)`
`Split`	`map(UnaryOperator<Formula> map, boolean grFree)`
`String`	`toString()`

public abstract Formula eventuallyAlways()

public abstract Formula infinitelyOften()

public static BinaryOperator<Split> combiner(BinaryOperator<Formula> formulaCombiner)

public Split map(UnaryOperator<Formula> map)

public Split map(UnaryOperator<Formula> map,
                 boolean grFree)

public Formula get(Robustness level)

Class Split