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(); }