Examples with Trace de.prob.statespace.Trace used on opensource projects

Example 1 with Trace

use of de.prob.statespace.Trace in project prob2 by bendisposto.

the class ExecuteRun method executeModel.

private void executeModel(final StateSpace stateSpace) {
    Trace t = new Trace(stateSpace);
    this.rootState = t.getCurrentState();
    executeModelCommand = new ExecuteModelCommand(stateSpace, t.getCurrentState(), maxNumberOfStatesToBeExecuted, continueAfterErrors, timeout);
    stateSpace.execute(executeModelCommand);
}

Example 2 with Trace

use of de.prob.statespace.Trace in project prob2 by bendisposto.

the class InvariantCheckCounterExample method getTrace.

@Override
public Trace getTrace(final StateSpace s) {
    Trace t = new Trace(s);
    t = t.add(step1);
    t = t.add(step2);
    return t;
}

Example 3 with Trace

use of de.prob.statespace.Trace in project prob2 by bendisposto.

the class CBCDeadlockFound method getTrace.

@Override
public Trace getTrace(final StateSpace s) {
    Trace t = new Trace(s);
    t = t.add(transition);
    return t;
}

Example 4 with Trace

use of de.prob.statespace.Trace in project prob2 by bendisposto.

the class LTLCounterExample method getTrace.

@Override
public Trace getTrace(final StateSpace s) {
    Trace t = new Trace(s);
    t = t.addTransitions(pathToCE);
    t = t.addTransitions(counterExample);
    return t;
}

Example 5 with Trace

use of de.prob.statespace.Trace in project prob2 by bendisposto.

the class RefinementCheckCounterExample method getTrace.

@Override
public Trace getTrace(StateSpace s) {
    Trace t = new Trace(s);
    t = t.add(step1);
    t = t.add(step2);
    return t;
}