Module LearnGame

module LearnGame: sig .. end

Module for learning games from examples.

val tc : bool Pervasives.ref

A flag whether to use the TC operator or not.

val learnFromParties : ?guess:bool ->
       win0:Structure.structure list list ->
       win1:Structure.structure list list ->
       notwon:Structure.structure list list ->
       wrong:Structure.structure list list -> string

Learn a two-player win-lose-or-tie game given 4 sets of plays of another game source: wins0 which are now supposed to be won by Player 0, wins1 - now won by Player 1, tie - now a tie, and wrong which are not correct plays of the newly constructed game. The plays are given as lists of ids to be retrieved from DB, result is a toss game string.