/Users/dbr/ma/src/bas/lml/automaton.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	Automaton
Defines
#define	AUTOMATON_TYPE_SYMBOL   (0)
#define	AUTOMATON_TYPE_SYMBOL_UINT   (1)
#define	mAutomatonGetStatesStored(aut)   ( (aut)->statesTransitions->seqStored )
#define	mAutomatonGetTransitionsStored(aut)   ( (aut)->transitionsTo->seqStored )
#define	mAutomatonSetStateFinality(aut, state, finality)
#define	mAutomatonGetStateFinality(aut, state)   ( BitSequenceGet( (aut)->statesFinality, (state) ) )
#define	mAutomatonGetLabelSize(aut)   ( (aut)->transitionsLabel->elementSize )

---

Define Documentation

#define AUTOMATON_TYPE_SYMBOL   (0)

Definition at line 4 of file automaton.h.

Referenced by AlphabetAdd(), CompressedAutomatonAddTarjanTable(), and TarjanTableInit().

#define AUTOMATON_TYPE_SYMBOL_UINT   (1)

Definition at line 5 of file automaton.h.

Referenced by AlphabetAdd(), and TarjanTableInit().

#define mAutomatonGetLabelSize

(

aut

)

( (aut)->transitionsLabel->elementSize )

Definition at line 23 of file automaton.h.

Referenced by AlphabetAdd(), and TarjanTableInit().

#define mAutomatonGetStateFinality	(		aut,
			state
	)		( BitSequenceGet( (aut)->statesFinality, (state) ) )

Definition at line 21 of file automaton.h.

#define mAutomatonGetStatesStored

(

aut

)

( (aut)->statesTransitions->seqStored )

Definition at line 7 of file automaton.h.

Referenced by TarjanTableInit().

#define mAutomatonGetTransitionsStored

(

aut

)

( (aut)->transitionsTo->seqStored )

Definition at line 9 of file automaton.h.

Referenced by AlphabetAdd().

#define mAutomatonSetStateFinality	(		aut,
			state,
			finality
	)

Value:

{\
    if( (finality) == 0 ){\
        BitSequenceSet( (aut)->statesFinality, (state), 0 );\
    }\
    else{\
        BitSequenceSet( (aut)->statesFinality, (state), 1 );\
    }\
}

Definition at line 11 of file automaton.h.