Index

_

__call__() (ggsolver.models.DeterministicStrategy method) (ggsolver.models.NonDeterministicStrategy method) __init__() (ggsolver.graph.EdgePropertyMap method) (ggsolver.graph.Graph method) (ggsolver.graph.NodePropertyMap method) (ggsolver.logic.automata.DBA method) (ggsolver.logic.automata.DCBA method) (ggsolver.logic.automata.DFA method) (ggsolver.logic.automata.DPA method) (ggsolver.logic.automata.Monitor method) (ggsolver.logic.base.Automaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method)

A

ACC_BUCHI (ggsolver.logic.Automaton attribute) (ggsolver.logic.base.Automaton attribute) ACC_COBUCHI (ggsolver.logic.Automaton attribute) (ggsolver.logic.base.Automaton attribute) acc_cond() (ggsolver.logic.Automaton method) (ggsolver.logic.base.Automaton method) (ggsolver.logic.SpotAutomaton method) acc_name() (ggsolver.logic.SpotAutomaton method) ACC_PARITY (ggsolver.logic.Automaton attribute) (ggsolver.logic.base.Automaton attribute) ACC_PREF_LAST (ggsolver.logic.Automaton attribute) (ggsolver.logic.base.Automaton attribute) ACC_PREF_MP (ggsolver.logic.Automaton attribute) (ggsolver.logic.base.Automaton attribute) ACC_REACH (ggsolver.logic.Automaton attribute) (ggsolver.logic.base.Automaton attribute) ACC_SAFETY (ggsolver.logic.Automaton attribute) (ggsolver.logic.base.Automaton attribute) acc_type() (ggsolver.logic.Automaton method) (ggsolver.logic.base.Automaton method)

ACC_TYPES (ggsolver.logic.Automaton attribute) (ggsolver.logic.base.Automaton attribute) actions() (ggsolver.models.Game method) (ggsolver.models.TSys method) add_edge() (ggsolver.graph.Graph method) add_edges() (ggsolver.graph.Graph method) add_node() (ggsolver.graph.Graph method) add_nodes() (ggsolver.graph.Graph method) allsat() (ggsolver.logic.PL method) ancestors() (ggsolver.graph.Graph method) ASWinReach (class in ggsolver.mdp) (in module ggsolver.dtptb) ASWinSafe (in module ggsolver.dtptb) atoms() (ggsolver.logic.Automaton method) (ggsolver.logic.base.Automaton method) (ggsolver.logic.PL method) (ggsolver.logic.SpotAutomaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) Automaton (class in ggsolver.logic) (class in ggsolver.logic.base)

C

clear() (ggsolver.graph.Graph method)

D

DBA (class in ggsolver.logic.automata) DCBA (class in ggsolver.logic.automata) delta() (ggsolver.logic.SpotAutomaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) descendants() (ggsolver.graph.Graph method)

deserialize() (ggsolver.graph.Graph class method) (ggsolver.logic.base.Automaton class method) (ggsolver.models.Game class method) (ggsolver.models.TSys class method) DeterministicStrategy (class in ggsolver.models) DFA (class in ggsolver.logic.automata) DPA (class in ggsolver.logic.automata)

E

edge_properties (ggsolver.graph.Graph property) EdgePropertyMap (class in ggsolver.graph)

edges() (ggsolver.graph.Graph method) evaluate() (ggsolver.logic.LTL method) (ggsolver.logic.PL method)

F

final() (ggsolver.logic.Automaton method) (ggsolver.logic.base.Automaton method) (ggsolver.logic.SpotAutomaton method) (ggsolver.models.Game method)

formula() (ggsolver.logic.SpotAutomaton method) (ggsolver.models.Game method) from_automaton() (ggsolver.logic.Automaton method) (ggsolver.logic.base.Automaton method)

G

Game (class in ggsolver.models) get_final_states() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) Graph (class in ggsolver.graph) graph() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method)

graph_properties (ggsolver.graph.Graph property) graphify() (ggsolver.logic.base.Automaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method)

H

has_edge() (ggsolver.graph.Graph method)

has_node() (ggsolver.graph.Graph method)

I

in_edges() (ggsolver.graph.Graph method) init_state() (ggsolver.logic.base.Automaton method) (ggsolver.logic.SpotAutomaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) initialize() (ggsolver.logic.base.Automaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) is_complete() (ggsolver.logic.Automaton method) (ggsolver.logic.base.Automaton method) (ggsolver.logic.SpotAutomaton method) is_deterministic() (ggsolver.logic.base.Automaton method) (ggsolver.logic.SpotAutomaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) is_inherently_weak() (ggsolver.logic.SpotAutomaton method) is_isomorphic_to() (ggsolver.graph.Graph method)

is_nondeterministic() (ggsolver.logic.base.Automaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) is_probabilistic() (ggsolver.logic.base.Automaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) is_semi_deterministic() (ggsolver.logic.SpotAutomaton method) is_solved() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method) is_state_based_acc() (ggsolver.logic.SpotAutomaton method) is_stutter_invariant() (ggsolver.logic.SpotAutomaton method) is_terminal() (ggsolver.logic.SpotAutomaton method) is_turn_based() (ggsolver.models.Game method) is_unambiguous() (ggsolver.logic.SpotAutomaton method) is_weak() (ggsolver.logic.SpotAutomaton method)

L

label() (ggsolver.models.Game method) (ggsolver.models.TSys method) load() (ggsolver.graph.Graph class method) (ggsolver.logic.base.Automaton class method) (ggsolver.models.Game class method) (ggsolver.models.TSys class method)

LTL (class in ggsolver.logic)

M

Monitor (class in ggsolver.logic.automata)

N

neighbors() (ggsolver.graph.Graph method) node_properties (ggsolver.graph.Graph property) NodePropertyMap (class in ggsolver.graph) nodes() (ggsolver.graph.Graph method) NonDeterministicStrategy (class in ggsolver.models)

num_acc_sets() (ggsolver.logic.Automaton method) (ggsolver.logic.base.Automaton method) (ggsolver.logic.SpotAutomaton method) number_of_edges() (ggsolver.graph.Graph method) number_of_nodes() (ggsolver.graph.Graph method)

O

out_edges() (ggsolver.graph.Graph method)

P

p1_acts() (ggsolver.models.Game method) p2_acts() (ggsolver.models.Game method)

PL (class in ggsolver.logic) predecessors() (ggsolver.graph.Graph method) PWinReach (class in ggsolver.mdp)

R

rem_edge() (ggsolver.graph.Graph method) rem_node() (ggsolver.graph.Graph method) reset() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method)

S

save() (ggsolver.graph.Graph method) (ggsolver.logic.base.Automaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) ScLTL (class in ggsolver.logic) serialize() (ggsolver.graph.Graph method) (ggsolver.logic.base.Automaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) sigma() (ggsolver.logic.Automaton method) (ggsolver.logic.base.Automaton method) simplify() (ggsolver.logic.LTL method) (ggsolver.logic.PL method) solution() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method) solve() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method)

Solver (class in ggsolver.models) spot_acc_cond() (ggsolver.logic.SpotAutomaton method) SpotAutomaton (class in ggsolver.logic) state2node() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method) states() (ggsolver.logic.base.Automaton method) (ggsolver.logic.SpotAutomaton method) (ggsolver.models.Game method) (ggsolver.models.TSys method) successors() (ggsolver.graph.Graph method) SWinReach (class in ggsolver.dtptb) SWinSafe (class in ggsolver.dtptb)

T

to_png() (ggsolver.graph.Graph method) translate() (ggsolver.logic.PL method)

TSys (class in ggsolver.models) turn() (ggsolver.models.Game method)

W

win_acts() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method) win_cond() (ggsolver.models.Game method) win_region() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method)

winner() (ggsolver.dtptb.SWinReach method) (ggsolver.dtptb.SWinSafe method) (ggsolver.mdp.ASWinReach method) (ggsolver.mdp.PWinReach method) (ggsolver.models.Solver method)