FSM Library - C++ version
Public Member Functions | List of all members
OFSMTableRow Class Reference

#include <OFSMTableRow.h>

Public Member Functions

 OFSMTableRow (const int maxInput, const int maxOutput)
 
void set (const int i, const int j, const int postState)
 
int get (const int i, const int j) const
 
bool ioEquals (const std::shared_ptr< OFSMTableRow > r) const
 
bool classEquals (const S2CMap &s2c, const std::shared_ptr< OFSMTableRow > r)
 

Detailed Description

Class representing one table row of an OFSMTable

Constructor & Destructor Documentation

OFSMTableRow::OFSMTableRow ( const int  maxInput,
const int  maxOutput 
)

Create a OFSMTableRow

Parameters
maxInputThe maximal input
maxOutputThe maximal output

Member Function Documentation

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).

Here is the call graph for this function:

int OFSMTableRow::get ( const int  i,
const int  j 
) const

Getter for the element at the position i / j

Parameters
iThe line number
jThe 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.

Here is the caller graph for this function:

void OFSMTableRow::set ( const int  i,
const int  j,
const int  postState 
)

Set for the element at the position i / j as postState

Parameters
iThe line number
jThe column number
postStateThe value
Returns
The element

The documentation for this class was generated from the following files: