public static void Initialise(GdlList description)
{
SymbolTable = Parser.SymbolTable;
GameInformation = new MetaGdl(Parser).ExamineGdl(description);
var expressions = new List<Expression>();
expressions.AddRange(GameInformation.GetRules());
expressions.AddRange(GameInformation.GetAllGrounds());
Prover = new AimaProver(expressions);
}
////////////////////////////////////////////////////////////////////////////
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");
}
}
