//private Dictionary<string, double> congestionProbs = new Dictionary<string,double>();
#endregion
//public void addCongestionProbs(string congestionString, double probPathCongestion)
//{
// congestionProbs.Add(congestionString, probPathCongestion);
//}
public VerificationOutput(string engine)
{
VerificationResult = VerificationResultType.UNKNOWN;
CounterExampleTrace = new List <ConfigurationBase>(64);
Transitions = 0;
NoOfStates = 0;
LoopIndex = -1;
ReducedMDPTransitions = 0;
ReducedMDPStates = 0;
Timer = new Stopwatch();
switch (engine)
{
case Constants.ENGINE_BDD_SEARCH:
case Constants.ENGINE_BACKWARD_SEARCH_BDD:
case Constants.ENGINE_FORWARD_BACKWARD_SEARCH_BDD:
case Constants.ENGINE_FORWARD_SEARCH_BDD:
VerificationOutputType = VerificationOutputType.LTS_BDD;
break;
case Constants.ENGINE_MDP_SEARCH:
case Constants.ENGINE_SMT_MDP:
case Constants.ENGINE_SMT_DTMC:
VerificationOutputType = VerificationOutputType.MDP_EXPLICIT;
break;
case Constants.ENGINE_SCC_BASED_SEARCH_MULTICORE:
VerificationOutputType = VerificationOutputType.LTS_EXPLICIT_MULTI_CORE;
break;
default:
VerificationOutputType = VerificationOutputType.LTS_EXPLICIT;
break;
}
}
public VerificationOutput(string engine)
{
VerificationResult = VerificationResultType.UNKNOWN;
CounterExampleTrace = new List<ConfigurationBase>(64);
Transitions = 0;
NoOfStates = 0;
LoopIndex = -1;
ReducedMDPTransitions = 0;
ReducedMDPStates = 0;
Timer = new Stopwatch();
switch (engine)
{
case Constants.ENGINE_BDD_SEARCH:
case Constants.ENGINE_BACKWARD_SEARCH_BDD:
case Constants.ENGINE_FORWARD_BACKWARD_SEARCH_BDD:
case Constants.ENGINE_FORWARD_SEARCH_BDD:
VerificationOutputType = VerificationOutputType.LTS_BDD;
break;
case Constants.ENGINE_MDP_SEARCH:
case Constants.ENGINE_SMT_MDP:
case Constants.ENGINE_SMT_DTMC:
VerificationOutputType = VerificationOutputType.MDP_EXPLICIT;
break;
case Constants.ENGINE_SCC_BASED_SEARCH_MULTICORE:
VerificationOutputType = VerificationOutputType.LTS_EXPLICIT_MULTI_CORE;
break;
default:
VerificationOutputType = VerificationOutputType.LTS_EXPLICIT;
break;
}
}
