[ General Game Player | Alphabetic Index ]library(gameplayer)
contains the basic routines of a general game player to handle start, play, and stop messages
Predicates
- game_play(++MatchID, ++Moves, ++MsgReceiveTime, -MoveString)
- is called after receiving a play message of a match
- game_play_timed_part(++CurrentState, ++Role)
- is called after receiving a play message of a match
- game_start(++MatchID, ++Role, +Rules, ++StartClock, ++PlayClock, ++MsgReceiveTime)
- is called after receiving the start message of a match
- game_start_timed_part(++InitialState, ++Role)
- is called after receiving the start message of a match
- game_stop(++MatchID, ++Moves, ++MsgReceiveTime)
- is called after receiving the stop message of a match
Generated from gameplayer.eci on Thu Mar 12 17:56:40 2009