public final class GameViews
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
GameViews.Node<S> |
A state of the split game.
|
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
AUTOMATON_TO_GAME_CLI |
Modifier and Type | Method | Description |
---|---|---|
static <S,A extends OmegaAcceptance> |
filter(Game<S,A> game,
java.util.Set<S> states) |
|
static <S,A extends OmegaAcceptance> |
filter(Game<S,A> game,
java.util.Set<S> states,
java.util.function.Predicate<Edge<S>> edgeFilter) |
|
static <S,A extends OmegaAcceptance> |
split(Automaton<S,A> automaton,
java.util.List<java.lang.String> firstPropositions) |
public static final OwlModuleParser.TransformerParser AUTOMATON_TO_GAME_CLI
public static <S,A extends OmegaAcceptance> Game<S,A> filter(Game<S,A> game, java.util.Set<S> states)
public static <S,A extends OmegaAcceptance> Game<S,A> filter(Game<S,A> game, java.util.Set<S> states, java.util.function.Predicate<Edge<S>> edgeFilter)
public static <S,A extends OmegaAcceptance> Game<GameViews.Node<S>,A> split(Automaton<S,A> automaton, java.util.List<java.lang.String> firstPropositions)