Header info for binary files.
#include <gfsmIndexedIO.h>
Data Fields | |
gchar | magic [16] |
gfsmVersionInfo | version |
gfsmVersionInfo | version_min |
gfsmAutomatonFlags | flags |
gfsmStateId | root_id |
gfsmStateId | n_states |
gfsmStateId | n_arcs |
guint32 | srtype |
guint32 | sort_mask |
guint32 | reserved2 |
guint32 | reserved3 |
gchar gfsmIndexedAutomatonHeader::magic[16] |
magic header string "gfsm_indexed"
gfsmVersionInfo gfsmIndexedAutomatonHeader::version |
gfsm version which created the stored file
gfsmVersionInfo gfsmIndexedAutomatonHeader::version_min |
minimum gfsm version required to load the file
gfsmAutomatonFlags gfsmIndexedAutomatonHeader::flags |
automaton flags
gfsmStateId gfsmIndexedAutomatonHeader::root_id |
Id of root node
gfsmStateId gfsmIndexedAutomatonHeader::n_states |
number of stored states
gfsmStateId gfsmIndexedAutomatonHeader::n_arcs |
number of stored arcs
guint32 gfsmIndexedAutomatonHeader::srtype |
semiring type (cast to gfsmSRType)
guint32 gfsmIndexedAutomatonHeader::sort_mask |
arc-sort priorities (a gfsmArcCompMask)
guint32 gfsmIndexedAutomatonHeader::reserved2 |
reserved
guint32 gfsmIndexedAutomatonHeader::reserved3 |
reserved