本文整理汇总了C++中Acceptor::getNrOfStates方法的典型用法代码示例。如果您正苦于以下问题：C++ Acceptor::getNrOfStates方法的具体用法？C++ Acceptor::getNrOfStates怎么用？C++ Acceptor::getNrOfStates使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Acceptor的用法示例。
在下文中一共展示了Acceptor::getNrOfStates方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: minimize
void Minimizer::minimize(Acceptor* pAcceptor)
{
// Zeiger auf Akzeptor zur Verwendung dereferenzieren
Acceptor Acceptor = *pAcceptor;
// Für 0 - Äquivalenzrelation zwei Äquivalenzklassen initialisieren
EquivalenceClass EQ_1 = EquivalenceClass(0);
EquivalenceClass EQ_2 = EquivalenceClass(0);
// Liste der Zustände durchsuchen
for (int i = 0; i < Acceptor.getNrOfStates(); i++)
{
// für aktuellen Zustand Zeile mit dessen Verhaltensinformationen in temporärer Variable speichern
StateBehaviour temp_row = *(Acceptor.getRow(i));
// ---------Equivalenzklasse 1 für gefundenen akzeptierenden Zustand bilden und füllen
if (temp_row.getFavourable())
{
if (!(EQ_1.getRepresentantive()))
{
EQ_1.setRepresentantive(temp_row.getState());
}
// ist der Zustand schon enthalten?
bool alreadyListed = false;
// durchsuche die Äquivalenzklasse
for (int m = 0; m < EQ_1.getNrOfEqualStates(); m++)
{
if (EQ_1.getEqualState(m) == temp_row.getState())
{
alreadyListed = true;
}
}
// ist der Zustand noch nicht enthalten, füge ihn hinzu
if (!alreadyListed)
{
EQ_1.addEqualState(temp_row.getState());
}
}
// ---------Equivalenzklasse 2 für nicht akzeptierende Zustände bilden und füllen
else if (!(temp_row.getFavourable()))
{
if (!(EQ_2.getRepresentantive()))
{
EQ_2.setRepresentantive(temp_row.getState());
}
// ist der Zustand schon enthalten?
bool alreadyListed = false;
// durchsuche die Äquivalenzklasse
for (int m = 0; m < EQ_2.getNrOfEqualStates(); m++)
{
if (EQ_2.getEqualState(m) == temp_row.getState())
{
alreadyListed = true;
}
}
// ist der Zustand noch nicht enthalten, füge ihn hinzu
if (!alreadyListed)
{
EQ_2.addEqualState(temp_row.getState());
}
}
else
break;
}
this->addEqClass(&EQ_1);
this->addEqClass(&EQ_2);
}