Package org.ggp.base.util.statemachine

Examples of org.ggp.base.util.statemachine.MachineState

114
115
116
117
118
119
120
121
122
123
124
    @Test
    public void testCase5A() throws Exception {
        List<Gdl> desc = new TestGameRepository().getGame("test_case_5a").getRules();
        sm.initialize(desc);
        MachineState state = sm.getInitialState();
        Role you = new Role(GdlPool.getConstant("you"));
        assertFalse(sm.isTerminal(state));
        assertEquals(1, sm.getLegalMoves(state, you).size());
        assertEquals(move("proceed"), sm.getLegalMoves(state, you).get(0));
        state = sm.getNextState(state, Collections.singletonList(move("proceed")));
View Full Code Here
129
130
131
132
133
134
135
136
137
138
139
    @Test
    public void testCase5B() throws Exception {
        List<Gdl> desc = new TestGameRepository().getGame("test_case_5b").getRules();
        sm.initialize(desc);
        MachineState state = sm.getInitialState();
        Role you = new Role(GdlPool.getConstant("you"));
        assertFalse(sm.isTerminal(state));
        assertEquals(1, sm.getLegalMoves(state, you).size());
        assertEquals(move("draw 1 1 1 2"), sm.getLegalMoves(state, you).get(0));
        state = sm.getNextState(state, Collections.singletonList(move("draw 1 1 1 2")));
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
    @Test
    public void testCase5C() throws Exception {
        List<Gdl> desc = new TestGameRepository().getGame("test_case_5c").getRules();
        sm.initialize(desc);
        MachineState state = sm.getInitialState();
        Role you = new Role(GdlPool.getConstant("you"));
        assertFalse(sm.isTerminal(state));
        assertEquals(1, sm.getLegalMoves(state, you).size());
        assertEquals(move("proceed"), sm.getLegalMoves(state, you).get(0));
        state = sm.getNextState(state, Collections.singletonList(move("proceed")));
View Full Code Here
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
      if (truesFromBases.isEmpty() && legalsFromInputs.isEmpty()) {
        return ImmutableList.of();
      }

      MachineState initialState = sm.getInitialState();
      MachineState state = initialState;
      long startTime = System.currentTimeMillis();
      while (System.currentTimeMillis() < startTime + millisecondsToTest) {
        //Check state against bases, inputs
        if (!truesFromBases.isEmpty()) {
          if (!truesFromBases.containsAll(state.getContents())) {
            Set<GdlSentence> missingBases = new HashSet<GdlSentence>();
            missingBases.addAll(state.getContents());
            missingBases.removeAll(truesFromBases);
            throw new ValidatorException("Found missing bases: " + missingBases);
          }
        }
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
90
91
        final int[] nState = new int[1];
        theServer.addObserver(new Observer() {
      @Override
      public void observe(Event event) {
        if (event instanceof ServerNewGameStateEvent) {
          MachineState theCurrentState = ((ServerNewGameStateEvent)event).getState();
                  if(nState[0] > 0) System.out.print("State[" + nState[0] + "]: ");
                  Set<GdlSentence> newContents = theCurrentState.getContents();
                  for(GdlSentence newSentence : newContents) {
                      if(hideStepCounter && newSentence.toString().contains("step")) continue;
                      if(hideControlProposition && newSentence.toString().contains("control")) continue;
                      if(!oldContents.contains(newSentence)) {
                          System.out.print("+" + newSentence + ", ");
View Full Code Here
27
28
29
30
31
32
33
34
35
36
37
  public List<ValidatorWarning> checkValidity(Game theGame) throws ValidatorException {
    for (int i = 0; i < numSimulations; i++) {
      StateMachine stateMachine = new ProverStateMachine();
      stateMachine.initialize(theGame.getRules());

      MachineState state = stateMachine.getInitialState();
      for (int depth = 0; !stateMachine.isTerminal(state); depth++) {
        if (depth == maxDepth) {
          throw new ValidatorException("Hit max depth while simulating: " + maxDepth);
        }
        try {
View Full Code Here
205
206
207
208
209
210
211
      {
        contents.add(p.getName());
      }

    }
    return new MachineState(contents);
  }
View Full Code Here
47
48
49
50
51
52
53
    Set<GdlSentence> trues = new HashSet<GdlSentence>();
    for (GdlSentence result : results)
    {
      trues.add(GdlPool.getRelation(TRUE, new GdlTerm[] { result.get(0) }));
    }
    return new MachineState(trues);
  }
View Full Code Here
TOP

Related Classes of org.ggp.base.util.statemachine.MachineState

  • org.ggp.base.apps.server.states.StatesPanel
  • org.ggp.base.apps.server.visualization.VisualizationPanel
  • org.ggp.base.apps.utilities.SimpleGameSim
  • org.ggp.base.player.gamer.statemachine.sample.SampleMonteCarloGamer
  • org.ggp.base.player.gamer.statemachine.sample.SampleSearchLightGamer
  • org.ggp.base.player.gamer.statemachine.StateMachineGamer
  • org.ggp.base.util.gdl.transforms.GdlCleanerTest
  • org.ggp.base.util.statemachine.implementation.propnet.SamplePropNetStateMachine
  • org.ggp.base.util.statemachine.implementation.prover.ProverStateMachineTest
  • org.ggp.base.util.statemachine.implementation.prover.result.ProverResultParser
    • 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.