Package cs227b.teamIago.resolver

Examples of cs227b.teamIago.resolver.ExpList

109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
      Iterator myIt = myLists.iterator();
      Iterator hisIt = hisLists.iterator();

      for (; myIt.hasNext();)
      {
        ExpList myList = (ExpList) myIt.next();
        ExpList hisList = (ExpList) hisIt.next();
        if (hisList.size() != myList.size()) {
          ret = false;
          break;
        }
        if (!hisList.containsAll(myList)) {
          ret = false;
          break;
        }
      }
//      System.err.println("Objects equal? " + ret);
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
    nestDepth = roles.size();
    moves = new ExpList[nestDepth];
    int[] roleSize = new int[nestDepth];
    for (int i = 0; i < nestDepth; i++)
    {
      ExpList mvs = ggp.GetLegalMoves(roles.get(i));
      moves[i] = mvs;
      roleSize[i] = mvs.size();
    }
    setLimits(roleSize);   
  }
View Full Code Here
28
29
30
31
32
33
34
35
36
37
38
    int maxIndex = 0;
    int offset;
    String axiomFile, stateFile, movesFile;
    GameSimulator myGGP;
    boolean wantDebugPrintouts;
    ExpList movesList, roles, legalMoves, goalValues;
    GameState nextState;

    wantDebugPrintouts = false;
    offset = 0;
    if (args.length % 3 == 1)
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
    }
    setLimits(roleSize);
  }
 
  public ExpList getFullMove(Expression myMove) {
    ExpList retMove = new ExpList();
    retMove.add(myMove);
    for (int i = 0; i < nestDepth; ++i)
      retMove.add(moves[i].get(count[i]));
    return retMove;
  }
View Full Code Here
82
83
84
85
86
87
88
89
90
91
      retMove.add(moves[i].get(count[i]));
    return retMove;
  }

  public ExpList getFullMove() {
    ExpList retMove = new ExpList();
    for (int i = 0; i < nestDepth; ++i)
      retMove.add(moves[i].get(count[i]));
    return retMove;
  }
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
      retMove.add(moves[i].get(count[i]));
    return retMove;
  }
 
  public ExpList getFullMove(ExpList partialMove) {
    ExpList retMove = new ExpList(partialMove);
    for (int i = 0; i < nestDepth; ++i) {
      retMove.add(moves[i].get(count[i]));
    }
    return retMove;
  }
View Full Code Here
98
99
100
101
102
103
104
105
106
107
    return retMove;
  }
 
  public ExpList getMove()
  {
    ExpList retMove = new ExpList();
    for (int i = 0; i < nestDepth; i++)
      retMove.add(moves[i].get(count[i]));
    return retMove; 
  }
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
85
86
    }
  }
 
  public ExpList GetOtherRoles(Expression player)
  {
    ExpList roleVar = new ExpList();
    roleVar.add(player);
    roleVar.add(vX);
    try {
      return theoryObj.finds(vX,new AndOp(pRoles,new DistinctOp(vX,player)));
    } catch (InterruptedException e) {
      wasInterrupted = true;
      return null;
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
108
  }
 
  // Returns all the legal moves for the given player in the current state
  // Now returns them in the format requested by the "SimulateStep" function
  public ExpList GetLegalMoves(Expression player){
    ExpList roleVar = new ExpList();
    roleVar.add(player);
    roleVar.add(vX);
    try {
      return theoryObj.finds(new Predicate(aDoes, roleVar), new Predicate(aLegal,roleVar));
    } catch (InterruptedException e) {
      wasInterrupted = true;
      return null;
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
120
      return null;
    }
  }
 
  public ExpList GetGoalValues(Expression player){
    ExpList roleVar = new ExpList();
    roleVar.add(player);
    roleVar.add(vX);
    try {
      return theoryObj.finds(vX,new Predicate(aGoal,roleVar));
    } catch (InterruptedException e) {
      wasInterrupted = true;
      return null;
View Full Code Here
TOP

Related Classes of cs227b.teamIago.resolver.ExpList

  • cs227b.teamIago.gameProver.GameSimulator
  • cs227b.teamIago.gameProver.GameSimulatorTest
  • cs227b.teamIago.gameProver.JavaProversGameSimulatorEnhancer
  • cs227b.teamIago.parser.Parser
  • cs227b.teamIago.util.GameState
  • cs227b.teamIago.util.RolePermuter
  • tud.gamecontroller.game.javaprover.ParserAdapter
  • tud.gamecontroller.game.javaprover.Reasoner
  • tud.gamecontroller.game.javaprover.Term
  • java.util.Collection
    • 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.