Package owl.game

Interface Game<S,A extends EmersonLeiAcceptance>

All Superinterfaces:

AigPrintable, Automaton<S,A>

All Known Implementing Classes:

SimulationGame

public interface Game<S,A extends EmersonLeiAcceptance>
extends Automaton<S,A>, AigPrintable

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	Game.Owner

Nested classes/interfaces inherited from interface owl.automaton.Automaton

Automaton.Property

Method Summary

Modifier and Type	Method	Description
BitSet	choice(S state, Game.Owner owner)
default void	feedTo(AigConsumer consumer)
default Set<S>	getAttractor(Collection<S> states, Game.Owner owner)
default Set<S>	getAttractorFixpoint(Collection<S> states, Game.Owner owner)
Game.Owner	owner(S state)
default Set<S>	predecessors(Iterable<S> states)
default Set<S>	predecessors(Iterable<S> state, Game.Owner owner)
default Set<S>	predecessors(S state, Game.Owner owner)
default Set<S>	states(Game.Owner owner)
default Set<S>	successors(Iterable<S> states)
default Set<S>	successors(Iterable<S> states, Game.Owner owner)
default Set<S>	successors(S state, Game.Owner owner)
List<String>	variables(Game.Owner owner)

Methods inherited from interface owl.automaton.Automaton

acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, factory, initialState, initialStates, is, predecessors, states, successor, successors, successors

Method Detail

getAttractor

default Set<S> getAttractor(Collection<S> states,
                            Game.Owner owner)

getAttractorFixpoint

default Set<S> getAttractorFixpoint(Collection<S> states,
                                    Game.Owner owner)

owner

Game.Owner owner(S state)

states

default Set<S> states(Game.Owner owner)

choice

BitSet choice(S state,
              Game.Owner owner)

feedTo

default void feedTo(AigConsumer consumer)

Specified by:

feedTo in interface AigPrintable

predecessors

default Set<S> predecessors(S state,
                            Game.Owner owner)

predecessors

default Set<S> predecessors(Iterable<S> states)

predecessors

default Set<S> predecessors(Iterable<S> state,
                            Game.Owner owner)

successors

default Set<S> successors(S state,
                          Game.Owner owner)

successors

default Set<S> successors(Iterable<S> states)

successors

default Set<S> successors(Iterable<S> states,
                          Game.Owner owner)

variables

List<String> variables(Game.Owner owner)