#include <OFSMTableRow.h>
Class representing one table row of an OFSMTable
OFSMTableRow::OFSMTableRow |
( |
const int |
maxInput, |
|
|
const int |
maxOutput |
|
) |
| |
Create a OFSMTableRow
- Parameters
-
maxInput | The maximal input |
maxOutput | The maximal output |
bool OFSMTableRow::classEquals |
( |
const S2CMap & |
s2c, |
|
|
const std::shared_ptr< OFSMTableRow > |
r |
|
) |
| |
Return false if and only if this row represents a state that is mapped to a post state by input/output i/o which is associated with another equivalence class than the post state r.get(i,o).
int OFSMTableRow::get |
( |
const int |
i, |
|
|
const int |
j |
|
) |
| const |
Getter for the element at the position i / j
- Parameters
-
i | The line number |
j | The column number |
- Returns
- The element
bool OFSMTableRow::ioEquals |
( |
const std::shared_ptr< OFSMTableRow > |
r | ) |
const |
Return false if and only if this row represents a state that is mapped to a post state by input/output i/o, while the other state represented by r has no emanating transition labelled with i/o or vice versa.
void OFSMTableRow::set |
( |
const int |
i, |
|
|
const int |
j, |
|
|
const int |
postState |
|
) |
| |
Set for the element at the position i / j as postState
- Parameters
-
i | The line number |
j | The column number |
postState | The value |
- Returns
- The element
The documentation for this class was generated from the following files:
- /Users/janpeleska/SharedFoldersWin/fsmlib-cpp/src/fsm/OFSMTableRow.h
- /Users/janpeleska/SharedFoldersWin/fsmlib-cpp/src/fsm/OFSMTableRow.cpp