public override void InitializeGame(TermObject assignedRole, int playClock, GameInformation gameInformation)
{
base.InitializeGame(assignedRole, playClock, gameInformation);
GameInformation info = GameContainer.GameInformation;
IEnumerable<Expression> expressions = info.GetRules().Concat<Expression>(info.GetAllGrounds());
_stateMachine.Initialize(expressions.ToList());
}
public virtual void InitializeGame(TermObject assignedRole, int playClock, GameInformation gameInformation)
{
MyRole = assignedRole;
MyRoleStr = assignedRole.ToString();
PlayClock = playClock;
Roles = gameInformation.GetRoles();
Prover = GameContainer.Prover;
MyRoleIndex = FindRoleIndex();
SetupInitialState();
}
private GameInformation MakeGameInformation()
{
var info = new GameInformation();
info.SetGroundFacts(_groundFacts);
info.SetRelations(_relations);
info.SetRoles(_roles);
info.SetRules(_rules);
return info;
}