Type for an indexed automaton.
#include <gfsmIndexed.h>
Data Fields | |
gfsmAutomatonFlags | flags |
gfsmSemiring * | sr |
gfsmStateId | root_id |
gfsmWeightVector * | state_final_weight |
gfsmArcTableIndex * | arcs |
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)