Package owl.game

Class GameViews

java.lang.Object

owl.game.GameViews

public final class GameViews
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	GameViews.Node<S>	A state of the split game.

Method Summary

Modifier and Type	Method	Description
static <S,A extends EmersonLeiAcceptance> Game<S,A>	filter(Game<S,A> game, Predicate<S> states)
static <S,A extends EmersonLeiAcceptance> Game<S,A>	filter(Game<S,A> game, Predicate<S> states, Predicate<Edge<S>> edgeFilter)
static <S,A extends EmersonLeiAcceptance> Game<S,A>	replaceInitialStates(Game<S,? extends A> game, Set<S> initialStates)
static <S,A extends EmersonLeiAcceptance> Game<GameViews.Node<S>,A>	split(Automaton<S,A> automaton, Collection<String> firstPropositions)
static <S,A extends EmersonLeiAcceptance> Game<GameViews.Node<S>,A>	split(Automaton<S,A> automaton, Predicate<String> firstPropositions)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

filter

public static <S,A extends EmersonLeiAcceptance> Game<S,A> filter(Game<S,A> game,
                                                                              Predicate<S> states)

filter

public static <S,A extends EmersonLeiAcceptance> Game<S,A> filter(Game<S,A> game,
                                                                              Predicate<S> states,
                                                                              Predicate<Edge<S>> edgeFilter)

split

public static <S,A extends EmersonLeiAcceptance> Game<GameViews.Node<S>,A> split(Automaton<S,A> automaton,
                                                                                             Collection<String> firstPropositions)

split

public static <S,A extends EmersonLeiAcceptance> Game<GameViews.Node<S>,A> split(Automaton<S,A> automaton,
                                                                                             Predicate<String> firstPropositions)

replaceInitialStates

public static <S,A extends EmersonLeiAcceptance> Game<S,A> replaceInitialStates(Game<S,? extends A> game,
                                                                                            Set<S> initialStates)