All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Public Member Functions | Private Attributes
osl::record::csa::CsaFile Class Reference

#include <csaRecord.h>

Collaboration diagram for osl::record::csa::CsaFile:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 CsaFile (const std::string &fileName)
 ~CsaFile ()
Record const & getRecord () const
const NumEffectState getInitialState () const

Private Attributes

Record rec

Detailed Description

Definition at line 32 of file csaRecord.h.


Constructor & Destructor Documentation

osl::record::csa::CsaFile::CsaFile ( const std::string &  fileName)

Definition at line 259 of file csaRecord.cc.

References osl::record::csa::InputStream::load().

Definition at line 273 of file csaRecord.cc.


Member Function Documentation

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().

Definition at line 278 of file csaRecord.cc.

Referenced by convert(), find_bad_moves(), main(), and readFile().


Member Data Documentation

Definition at line 35 of file csaRecord.h.


The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines