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.