Module Graph__Strat.Algo
Implements strategy algorithms on graphs
Parameters
Signature
val coherent_player : G.t -> P.t -> bool
coherent_player g p
returnstrue
iff the completionp
is coherent w.r.t. the graph g
val coherent_strat : G.t -> S.t -> bool
coherent_strat g s
returnstrue
iff the strategys
is coherent w.r.t. the graphg
val game : G.t -> P.t -> S.t -> S.t -> bool
game g p a b
returnstrue
iffa
wins ing
given the completionp
(i.e. the game goes through a final state).