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); }