public DTMC(DTMCState init, int precision, double maxdiffer)
{
Precision = precision;
MAX_DIFFERENCE = maxdiffer;
States = new Dictionary<string, DTMCState>(Ultility.Ultility.MC_INITIAL_SIZE);
InitState = init;
States.Add(init.ID, InitState);
TargetStates = new List<DTMCState>();
}
public void SetInit(DTMCState init)
{
InitState = init;
}
public void AddTargetStates(DTMCState target)
{
TargetStates.Add(target);
target.ReachTarget = true;
target.CurrentProb = 1;
}
public void RemoveState(DTMCState state)
{
States.Remove(state.ID);
foreach (var tran in state.Transitions)
{
tran.Value.Pre.Remove(state);
}
state.Transitions.Clear();
}
public void AddState(DTMCState state)
{
States.Add(state.ID, state);
}
