Data Fields
gfsmIndexedAutomaton Struct Reference

Type for an indexed automaton.

#include <gfsmIndexed.h>

Collaboration diagram for gfsmIndexedAutomaton:
Collaboration graph
[legend]

Data Fields

gfsmAutomatonFlags flags
gfsmSemiringsr
gfsmStateId root_id
gfsmWeightVectorstate_final_weight
gfsmArcTableIndexarcs

Field Documentation

gfsmAutomatonFlags gfsmIndexedAutomaton::flags

automaton flags, for gfsmAutomaton compatibility

gfsmSemiring* gfsmIndexedAutomaton::sr

semiring used for arc weight computations

gfsmStateId gfsmIndexedAutomaton::root_id

id of root state, or gfsmNoState if not defined

gfsmWeightVector* gfsmIndexedAutomaton::state_final_weight

State final weight, or sr->zero

gfsmArcTableIndex* gfsmIndexedAutomaton::arcs

Arc storage (sorted primarily by source state)


The documentation for this struct was generated from the following file: