Examples with StateSpaceStats de.prob.check.StateSpaceStats used on opensource projects

Example 1 with StateSpaceStats

use of de.prob.check.StateSpaceStats in project prob2 by bendisposto.

the class ModelCheckingStepCommand method processResult.

@Override
public void processResult(final ISimplifiedROMap<String, PrologTerm> bindings) {
    CompoundPrologTerm statsTerm = BindingGenerator.getCompoundTerm(bindings.get(STATS_VARIABLE), STATS_ARITY);
    int numberNodes = BindingGenerator.getInteger(statsTerm.getArgument(1)).getValue().intValue();
    int numberTrans = BindingGenerator.getInteger(statsTerm.getArgument(2)).getValue().intValue();
    int numberProcessed = BindingGenerator.getInteger(statsTerm.getArgument(3)).getValue().intValue();
    stats = new StateSpaceStats(numberNodes, numberTrans, numberProcessed);
    result = extractResult(bindings.get(RESULT_VARIABLE));
}

Example 2 with StateSpaceStats

use of de.prob.check.StateSpaceStats in project prob2 by bendisposto.

the class ComputeStateSpaceStatsCommand method processResult.

@Override
public void processResult(final ISimplifiedROMap<String, PrologTerm> bindings) {
    int nrNodes = ((IntegerPrologTerm) bindings.get("NrNodes")).getValue().intValue();
    int nrTrans = ((IntegerPrologTerm) bindings.get("NrTrans")).getValue().intValue();
    int nrProcessed = ((IntegerPrologTerm) bindings.get("NrProcessed")).getValue().intValue();
    coverageResult = new StateSpaceStats(nrNodes, nrTrans, nrProcessed);
}