Public Member Functions | |
| PluckerRecordHeader () | |
Public Attributes | |
| unsigned | number |
| unsigned | uid |
| unsigned | paragraphs |
| unsigned | size |
| DataType | type |
| libebook::PluckerRecordHeader::PluckerRecordHeader | ( | ) |
| unsigned libebook::PluckerRecordHeader::number |
| unsigned libebook::PluckerRecordHeader::paragraphs |
| unsigned libebook::PluckerRecordHeader::size |
| DataType libebook::PluckerRecordHeader::type |
| unsigned libebook::PluckerRecordHeader::uid |