示例#1
0
        private void CreateStates()
        {
            var enumerator = _ltmdp.GetTransitionTargetEnumerator();

            while (enumerator.MoveNext())
            {
                var entry = new StateStorageEntry(enumerator.CurrentFormulas, enumerator.CurrentTargetState);
                if (!_mapper.ContainsKey(entry))
                {
                    _mapper.Add(entry, MdpStates);
                    _backMapper[MdpStates] = entry;
                    MdpStates++;
                }
            }
        }