Package tud.gamecontroller.game.javaprover

Examples of tud.gamecontroller.game.javaprover.ReasonerFactory

25
26
27
28
29
30
31
import tud.gamecontroller.game.javaprover.ReasonerFactory;

public class GameControllerGuiRunnerFactory {

  public static AbstractGameControllerGuiRunner<?, ?> createGameControllerGuiRunner(File gameFile){
    return new tud.gamecontroller.game.javaprover.GameControllerGuiRunner(gameFile, new ReasonerFactory());
  }
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
public class RetraceGameControllerRunner {

  public static void retrace(File inputFile, File outputFile, File gameFile, GDLVersion gdlVersion) throws IOException, SAXException {
    /* create game */
    GameInterface<Term, State<Term, GameState>> game = new Game<Term, GameState>(gameFile, new ReasonerFactory(), gdlVersion);
   
    /* create players */
    Map<RoleInterface<Term>, Player<Term, State<Term, GameState>>> players = new HashMap<RoleInterface<Term>, Player<Term, State<Term, GameState>>>();
    MatchTrace trace = new MatchTraceReader().read(inputFile);
   
View Full Code Here
34
35
36
37
38
39
40
41
42
43
{
    private GameInformation game_information;
   
    public static GameInformation createGameInfo(String filename) throws IOException
    {
        Game<Term, GameState> game = new Game<Term, GameState>(new File(filename), new ReasonerFactory(), GDLVersion.v1);
        String game_desc = "("+game.getKIFGameDescription()+")";
        GdlList list = (GdlList)GameManager.getParser().parse(game_desc).getElement(0);
        return new MetaGdl(GameManager.getParser()).examineGdl(list);
    }
View Full Code Here
TOP

Related Classes of tud.gamecontroller.game.javaprover.ReasonerFactory

  • fr.irit.halterego.rrl_ggp.impl.GameReasoner
  • tud.gamecontroller.gui.GameControllerGuiRunnerFactory
  • tud.gamecontroller.traces.RetraceGameControllerRunner
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.