modify make unique symbol

alib2data/src/alphabet/Symbol.cpp

@@ -6,7 +6,7 @@
  */
 #include "Symbol.h"
-#include "../label/NextLabel.h"
+#include "NextSymbol.h"
 #include "LabeledSymbol.h"
 #include <climits>
 #include "../exception/AlibException.h"
@@ -14,17 +14,13 @@
 namespace alphabet {
 alphabet::Symbol createUniqueSymbol(const alphabet::Symbol& base, const std::set<alphabet::Symbol>& terminalAlphabet, const std::set<alphabet::Symbol>& nonterminalAlphabet) {
-	label::NextLabel nextLabelCreator;
-	if(alib::ObjectBase::typeId<LabeledSymbol>() != base.getData().selfTypeId())
-		throw exception::AlibException("Could not create unique symbol with nonlabeled base symbol " + (std::string) base + "." );
-
-	label::Label nextLabel = static_cast<const alphabet::LabeledSymbol&>(base.getData()).getLabel();
+	NextSymbol nextSymbolCreator;
+	Symbol attempt = base;
 	int i = 0;
 	do {
-		nextLabel = nextLabelCreator.nextLabel(nextLabel);
-		alphabet::Symbol attempt = alphabet::Symbol(alphabet::LabeledSymbol(nextLabel));
+		attempt = nextSymbolCreator.nextSymbol(attempt);
 		if(terminalAlphabet.count(attempt) == 0 && nonterminalAlphabet.count(attempt) == 0)
 			return attempt;
 	} while(++i < INT_MAX);