DFSMTable.h

/*
 * Copyright. Gaël Dottel, Christoph Hilken, and Jan Peleska 2016 - 2021
 * 
 * Licensed under the EUPL V.1.1
 */
#ifndef FSM_FSM_DFSMTABLE_H_
#define FSM_FSM_DFSMTABLE_H_

#include <memory>
#include <vector>

#include "fsm/typedef.inc"

class DFSMTableRow;
class PkTable;
class FsmPresentationLayer;
class DFSMTable
{
private:
    std::vector<std::shared_ptr<DFSMTableRow>> rows;

    int maxInput;

    std::shared_ptr<FsmPresentationLayer> presentationLayer;
public:
    DFSMTable(const int numStates, const int maxInput, std::shared_ptr<FsmPresentationLayer> presentationLayer);

    void setRow(const int n, const std::shared_ptr<DFSMTableRow> r);

    std::shared_ptr<PkTable> getP1Table() const;

    friend std::ostream & operator<<(std::ostream & out, const DFSMTable & dfsmTable);
};
#endif //FSM_FSM_DFSMTABLE_H_