edu.wis.jtlv.old_lib.games
Interface Game

All Known Subinterfaces:
TwoPlayersGame
All Known Implementing Classes:
GR1Game, RkGame

public interface Game

A general interface for mathematical games.

Version:
"1.3.2"
Author:
yaniv sa'ar.

Method Summary
 BDD gameInitials()
           
 BDD[] playersWinningStates()
           
 void printWinningStrategy()
           
 

Method Detail

gameInitials

BDD gameInitials()

playersWinningStates

BDD[] playersWinningStates()

printWinningStrategy

void printWinningStrategy()