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

drop left out attribute

parent bb5c4fdc
No related branches found
No related tags found
No related merge requests found
Pipeline #
...@@ -71,7 +71,7 @@ void RandomAutomatonFactory2::addTransition ( automaton::DFA < SymbolType, unsig ...@@ -71,7 +71,7 @@ void RandomAutomatonFactory2::addTransition ( automaton::DFA < SymbolType, unsig
} }
   
template < class SymbolType > template < class SymbolType >
automaton::DFA < SymbolType, unsigned > RandomAutomatonFactory2::NonminimalDFA( size_t statesMinimal, size_t statesDuplicates, size_t statesUnreachable, size_t statesUseless, const ext::deque < SymbolType > & alphabet, double density ) __attribute__ ((optnone)) { automaton::DFA < SymbolType, unsigned > RandomAutomatonFactory2::NonminimalDFA( size_t statesMinimal, size_t statesDuplicates, size_t statesUnreachable, size_t statesUseless, const ext::deque < SymbolType > & alphabet, double density ) {
if( alphabet.size( ) <= 0 ) if( alphabet.size( ) <= 0 )
throw exception::CommonException( "Alphabet size must be greater than 0." ); throw exception::CommonException( "Alphabet size must be greater than 0." );
   
......
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