#include <csaRecord.h>
Public Member Functions | |
CsaFile (const std::string &fileName) | |
~CsaFile () | |
Record const & | getRecord () const |
const NumEffectState | getInitialState () const |
Private Attributes | |
Record | rec |
Definition at line 32 of file csaRecord.h.
osl::record::csa::CsaFile::CsaFile | ( | const std::string & | fileName | ) |
Definition at line 229 of file csaRecord.cc.
References osl::record::csa::InputStream::load().
osl::record::csa::CsaFile::~CsaFile | ( | ) |
Definition at line 243 of file csaRecord.cc.
const osl::NumEffectState osl::record::csa::CsaFile::getInitialState | ( | ) | const |
Definition at line 254 of file csaRecord.cc.
Referenced by CsaPredicate::CsaPredicate(), find_bad_moves(), and main().
const osl::record::Record & osl::record::csa::CsaFile::getRecord | ( | ) | const |
Definition at line 248 of file csaRecord.cc.
Referenced by convert(), find_bad_moves(), main(), and readFile().
Record osl::record::csa::CsaFile::rec [private] |
Definition at line 35 of file csaRecord.h.