KBExpectedActionPackUnit.h

Go to the documentation of this file.

#pragma once
 
// KBExpectedActionPackUnit.h: interface for the KBExpectedActionPackUnit class.
//
 
#include "KBElement.h"
#include "../Procedure/ExpectationElement.h"
#include "../Global/TermConversions.h"
 
class KBExpectedActionPackUnit : 
    public KBElement, 
    public ExpectationElement  
{
public:
    KBExpectedActionPackUnit();
    virtual ~KBExpectedActionPackUnit();
    void setExpectedState(int);
    void readInfoFromFile(std::ifstream &);
    int getExpectedState();
    int checkForMatch(std::string , int );
    void copyKBExpectedActionPackUnit(KBExpectedActionPackUnit &);
    void saveKBExpectedActionPackUnitToFile(std::ofstream &);
    void retrieveKBExpectedActionPackUnitFromFile(std::ifstream &);
private:
    int expected_state;
 
};