FSM Library - C++ version
|
#include <PkTable.h>
Public Member Functions | |
PkTable (const int numStates, const int maxInput, const std::shared_ptr< FsmPresentationLayer > presentationLayer) | |
PkTable (const int numStates, const int maxInput, const std::vector< std::shared_ptr< PkTableRow >> rows, const std::shared_ptr< FsmPresentationLayer > presentationLayer) | |
void | setRow (const int s, const std::shared_ptr< PkTableRow > row) |
void | setClass (const int n, const int c) |
int | getClass (const int n) const |
int | maxClassId () const |
std::shared_ptr< PkTable > | getPkPlusOneTable () const |
Dfsm | toFsm (std::string name) |
std::string | getMembers (const int c) const |
Class for representing Pk-Tables
PkTable::PkTable | ( | const int | numStates, |
const int | maxInput, | ||
const std::shared_ptr< FsmPresentationLayer > | presentationLayer | ||
) |
Create an empty Pktable, with each row set to nullptr
numStates | The number of rows (1 row = 1 state) |
maxInput | The maximal input |
presentationLayer | The presentation layer used by the PkTable |
PkTable::PkTable | ( | const int | numStates, |
const int | maxInput, | ||
const std::vector< std::shared_ptr< PkTableRow >> | rows, | ||
const std::shared_ptr< FsmPresentationLayer > | presentationLayer | ||
) |
int PkTable::getClass | ( | const int | n | ) | const |
Get the id of the Pk-equivalence class at the position n
n | The position |
std::string PkTable::getMembers | ( | const int | c | ) | const |
Return members of an equivalence class c as set string
std::shared_ptr< PkTable > PkTable::getPkPlusOneTable | ( | ) | const |
Generate the P(k+1) table from this Pk-Table
int PkTable::maxClassId | ( | ) | const |
Get the maximum id of the Pk-equivalence class
void PkTable::setClass | ( | const int | n, |
const int | c | ||
) |
Set the id of the Pk-equivalence class at the position n
n | The position |
c | The id |
void PkTable::setRow | ( | const int | s, |
const std::shared_ptr< PkTableRow > | row | ||
) |
Set the row of the Pk-equivalence class at the position s
s | The position |
row | The row |
Dfsm PkTable::toFsm | ( | std::string | name | ) |
Generate a DFSM form thus pktable