#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 259 of file csaRecord.cc.
References osl::record::csa::InputStream::load().
osl::record::csa::CsaFile::~CsaFile | ( | ) |
Definition at line 273 of file csaRecord.cc.
const osl::NumEffectState osl::record::csa::CsaFile::getInitialState | ( | ) | const |
Definition at line 284 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 278 of file csaRecord.cc.
Referenced by convert(), find_bad_moves(), main(), and readFile().
|
private |
Definition at line 35 of file csaRecord.h.