/** Update the acceptance condition upon renaming of states acording
* to the mapping (part of AcceptanceCondition interface).
* Assumes that states can only get a lower name.
* @param mapping vector with mapping a[i] -> j
*/
void moveStates(std::vector<unsigned int> mapping) {
if (!isCompact()) {
makeCompact();
}
for (unsigned int i=0;i<size();++i) {
move_acceptance_bits(*_acceptance_L[i], mapping);
move_acceptance_bits(*_acceptance_U[i], mapping);
}
}
QCompactTable::QCompactTable(int row, int column)
: QTableWidget(row, column)
{
makeCompact(this);
setEditTriggers(QAbstractItemView::NoEditTriggers);
}
