public abstract class LabelledSplit
extends Object

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`LabelledFormula`	`always()`
`LabelledFormula`	`eventually()`
`LabelledFormula`	`eventuallyAlways()`
`LabelledFormula`	`infinitelyOften()`
`LabelledSplit`	`map(UnaryOperator<Formula> map)`
`static LabelledSplit`	`of(Split split, List<String> variables)`
`LabelledFormula`	`toLtl(EnumSet<Robustness> robustness)`
`String`	`toString()`
`abstract List<String>`	`variables()`

public abstract List<String> variables()

public LabelledFormula eventuallyAlways()

public LabelledFormula infinitelyOften()

public static LabelledSplit of(Split split,
                               List<String> variables)

public LabelledFormula toLtl(EnumSet<Robustness> robustness)

public LabelledSplit map(UnaryOperator<Formula> map)

Class LabelledSplit