org.ggp.base.validator.SimulationValidator Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.validator;

import java.util.List;

import org.ggp.base.util.game.Game;
import org.ggp.base.util.statemachine.MachineState;
import org.ggp.base.util.statemachine.StateMachine;
import org.ggp.base.util.statemachine.exceptions.GoalDefinitionException;
import org.ggp.base.util.statemachine.exceptions.MoveDefinitionException;
import org.ggp.base.util.statemachine.exceptions.TransitionDefinitionException;
import org.ggp.base.util.statemachine.implementation.prover.ProverStateMachineFactory;

import com.google.common.collect.ImmutableList;

public final class SimulationValidator implements GameValidator
{
    private final int maxDepth;
    private final int numSimulations;

    public SimulationValidator(int maxDepth, int numSimulations)
    {
        this.maxDepth = maxDepth;
        this.numSimulations = numSimulations;
    }

    @Override
    public List checkValidity(Game theGame) throws ValidatorException {
        for (int i = 0; i < numSimulations; i++) {
            StateMachine stateMachine = ProverStateMachineFactory.createNormal().buildInitializedForGame(theGame);

            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 {
                    state = stateMachine.getRandomNextState(state);
                } catch (MoveDefinitionException mde) {
                    throw new ValidatorException("Could not find legal moves while simulating: " + mde);
                } catch (TransitionDefinitionException tde) {
                    throw new ValidatorException("Could not find transition definition while simulating: " + tde);
                }
            }

            try {
                stateMachine.getGoals(state);
            } catch (GoalDefinitionException gde) {
                throw new ValidatorException("Could not find goals while simulating: " + gde);
            }
        }
        return ImmutableList.of();
    }
}