Package cs227b.teamIago.resolver

Examples of cs227b.teamIago.resolver.ExpList

120
121
122
123
124
125
126
127
128
129
130
131
132
      return null;
    }
  }
 
  public int GetGoalValue(Expression player) {
    ExpList roleVar = new ExpList();
    roleVar.add(player);
    roleVar.add(vX);
    Expression e;
    try {
      e = theoryObj.findx(vX,new Predicate(aGoal,roleVar));
    } catch (InterruptedException ie) {
      wasInterrupted = true;
View Full Code Here
158
159
160
161
162
163
164
165
  }
 
//   Sets the game into its initial state
  public void SimulateStart() {
    theoryObj.clearState();
    ExpList startState = CalcInitState();   
    theoryObj.setState(startState);
  }
View Full Code Here
168
169
170
171
172
173
174
175
  // specified with the "does" predicate,
  //    ie, (does white noop), (does black (mark 1 1 O))
  // shifts to the next game step according to the axioms.
  public void SimulateStep(ExpList moves) {
    theoryObj.add(moves);
    ExpList newState = CalcNextState();
    theoryObj.setState(newState);
  }
View Full Code Here
174
175
176
177
178
179
180
181
182
    theoryObj.setState(newState);
  }
 
  // parses the file specified by the parameter into the theory object
  public void ParseFileIntoTheory(String fileName){
    ExpList expList = Parser.parseFile(fileName);
    theoryObj.add(expList);
    theoryObj.buildVolatile();
  }
View Full Code Here
180
181
182
183
184
185
186
187
188
    theoryObj.add(expList);
    theoryObj.buildVolatile();
  }
 
  public void ParseDescIntoTheory(String gameDescription){
    ExpList expList = Parser.parseDesc(gameDescription);
    theoryObj.add(expList);
    theoryObj.buildVolatile();
  }
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.