Public Member Functions | |
PluckerRecordHeader () | |
Public Attributes | |
unsigned | number |
unsigned | uid |
unsigned | paragraphs |
unsigned | size |
DataType | type |
libebook::PluckerRecordHeader::PluckerRecordHeader | ( | ) |
unsigned libebook::PluckerRecordHeader::number |
Referenced by libebook::PluckerParser::readDataRecords().
unsigned libebook::PluckerRecordHeader::paragraphs |
unsigned libebook::PluckerRecordHeader::size |
DataType libebook::PluckerRecordHeader::type |
unsigned libebook::PluckerRecordHeader::uid |