Skip to content
Snippets Groups Projects
Commit 2fcb57e8 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

data: fix (Epsilon) MISNFA -> ExtendedNFA

The epsilon transitions from the new initial state were labelled with empty,
should be epsilon
parent 4f4f22fd
No related branches found
No related tags found
1 merge request!171Random {N,D}FA automata generator, ExtendedNFA fix
......@@ -502,7 +502,7 @@ ExtendedNFA < SymbolType, StateType >::ExtendedNFA ( const MultiInitialStateEpsi
}
}
 
ext::pair < StateType, regexp::UnboundedRegExpStructure < SymbolType > > key = ext::make_pair ( this->getInitialState ( ), regexp::UnboundedRegExpStructure < SymbolType > ( ) );
ext::pair < StateType, regexp::UnboundedRegExpStructure < SymbolType > > key = ext::make_pair ( this->getInitialState ( ), regexp::UnboundedRegExpStructure < SymbolType > ( regexp::UnboundedRegExpEpsilon < SymbolType > ( ) ) );
for ( const StateType & to : other.getInitialStates ( ) )
transitions.insert ( key, to );
}
......@@ -527,7 +527,7 @@ ExtendedNFA < SymbolType, StateType >::ExtendedNFA ( const MultiInitialStateNFA
transitions.insert ( key, transition.second );
}
 
ext::pair < StateType, regexp::UnboundedRegExpStructure < SymbolType > > key = ext::make_pair ( this->getInitialState ( ), regexp::UnboundedRegExpStructure < SymbolType > ( ) );
ext::pair < StateType, regexp::UnboundedRegExpStructure < SymbolType > > key = ext::make_pair ( this->getInitialState ( ), regexp::UnboundedRegExpStructure < SymbolType > ( regexp::UnboundedRegExpEpsilon < SymbolType > ( ) ) );
for ( const StateType & state : other.getInitialStates ( ) )
transitions.insert ( key, state );
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment