Examples of ExpList


Examples of cs227b.teamIago.resolver.ExpList

  // 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

Examples of cs227b.teamIago.resolver.ExpList

    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

Examples of cs227b.teamIago.resolver.ExpList

    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
Copyright © 2018 www.massapi.com. 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.