예제 #1
0
 def main(cls, args):
     """ generated source for method main """
     showDiffs = False
     theReference = ProverStateMachine()
     theMachine = ProverStateMachine()
     theRepository = GameRepository.getDefaultRepository()
     for gameKey in theRepository.getGameKeys():
         if gameKey.contains("laikLee"):
             continue 
         #  Choose the transformation(s) to test here
         description = DeORer.run(description)
         newDescription = VariableConstrainer.replaceFunctionValuedVariables(description)
         if description.hashCode() != newDescription.hashCode():
             theReference.initialize(description)
             theMachine.initialize(newDescription)
             print "Detected activation in game " + gameKey + ". Checking consistency: "
             StateMachineVerifier.checkMachineConsistency(theReference, theMachine, 10000)
             if showDiffs:
                 for x in newDescription:
                     if not description.contains(x):
                         print "NEW: " + x
                 for x in description:
                     if not newDescription.contains(x):
                         print "OLD: " + x
예제 #2
0
 def getInitialStateMachine(self):
     return ProverStateMachine()
예제 #3
0
def load_game(game_name):
    game_description = GameRepository.getDefaultRepository().getGame(
        game_name).getRules()
    machine = ProverStateMachine()
    machine.initialize(game_description)
    return machine
예제 #4
0
파일: scripts.py 프로젝트: Adama94/ggp-base
def load_game(game_name):
    game_description = GameRepository.getDefaultRepository().getGame(game_name).getRules()
    machine = ProverStateMachine()
    machine.initialize(game_description)
    return machine