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