10void GeneralSubstitutionRegister::updateTypes_()
13 for (
size_t i = 0; i <
size_; i++)
15 for (
size_t j = 0; j <
size_; j++)
18 map<size_t, vector<size_t>> reg =
types_[type];
size_t size_
The size of the matrix, i.e. the number of states.
RowMatrix< size_t > matrix_
The matrix of the substitution register.
std::map< size_t, std::map< size_t, std::vector< size_t > > > types_
The map from substitution types to the map of from states to the vector of target states.
Defines the basic types of data flow nodes.