edu.wis.jtlv.lib.games
Interface Game

All Known Implementing Classes:
GRGame

public interface Game

A general interface for mathematical games.

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

Method Summary
 net.sf.javabdd.BDD gameInitials()
           
 net.sf.javabdd.BDD[] playersWinningStates()
           
 void printWinningStrategy()
           
 

Method Detail

gameInitials

net.sf.javabdd.BDD gameInitials()

playersWinningStates

net.sf.javabdd.BDD[] playersWinningStates()

printWinningStrategy

void printWinningStrategy()