internal void AddConst(string key, string keySameUniverseIdentifier = null)
{
ConstDictionary consts = _modelDataStructure.Consts;
if (!consts.ContainsKey(key))
{
if (keySameUniverseIdentifier == null)
{
string uni = _universeIdentifier + consts.CurrIndex;
consts.Add(key, uni);
consts.CurrIndex++;
_universe.Add(uni);
}
else
{
consts.Add(key, consts[keySameUniverseIdentifier]);
}
}
}
internal string AddConst()
{
ConstDictionary consts = _modelDataStructure.Consts;
string key = GENERIC_IDENTIFIER + _genericIndex;
_genericIndex++;
string uni = _universeIdentifier + consts.CurrIndex++;
consts.Add(key, uni);
_universe.Add(uni);
return(key);
}