#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.
1.8.4