public MinimaxGamer(string gameId, Parser p)
: base(gameId, p)
{
Random = new Random();
_searchTimer = new System.Timers.Timer();
_searchTimer.Elapsed += searchTimer__Elapsed;
}
protected Gamer(string gameId, Parser p)
: base(p)
{
GameId = gameId;
DoesProcessor = new RelationNameProcessor("does", SymbolTable);
TrueProcessor = new RelationNameProcessor(Parser.TokTrue);
}
protected ReasoningEntity(Parser parser)
{
Parser = parser;
SymbolTable = Parser.SymbolTable;
QueryTerminal = MakeQuery("terminal");
QueryNext = MakeQuery("next", "?x");
Random = new Random();
}
////////////////////////////////////////////////////////////////////////////
public static GameInformation ExamineGame(String filename, Parser p)
{
try
{
GdlList axioms = p.Parse(new StreamReader(filename));
var meta = new MetaGdl(p);
return meta.ExamineGdl(axioms);
}
catch (IOException)
{
throw new Exception("Error reading from file");
}
}
public MetaGdl(Parser p)
{
_relations = new TreeDictionary<int, RelationInfo>();
_functionSymbols = new TreeSet<int>();
_objectSymbols = new TreeSet<int>();
_parser = p;
_rules = new TreeDictionary<int, List<Implication>>();
_groundFacts = new TreeDictionary<int, List<GroundFact>>();
_roles = new List<TermObject>();
InsertReservedKeywords();
}
public RandomGamer(string gameId, Parser p)
: base(gameId, p)
{
}
public PropNetGamer(string gameId, Parser p)
: base(gameId, p)
{
_stateMachine = new PropNetStateMachine();
}