previousnext
ASTL homeSTL home

NFA ascii write

 

Prototype

template <class NFA> 
void nfa_ascii_write(const NFA& nfa, ostream& out);

Description

Write nfa to out in the following file format:

state count
initial_state
nb initial states
i_state 1
i_state 2
...
nb transitions state 1
tag
letter state
letter state ...
nb transitions state 2
tag
letter state
letter state ...
...
...
...
...

 

Definition

Defined in falgo_stream.h.

Requirements on types

Preconditions

ostream& << const NFA::Tag& must be defined.

Example

Notes

See also