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

Go to the documentation of this file.

#ifndef _HEADER_FILE_AUTOMATON_
#define _HEADER_FILE_AUTOMATON_

#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 )\
{\
    if( (finality) == 0 ){\
        BitSequenceSet( (aut)->statesFinality, (state), 0 );\
    }\
    else{\
        BitSequenceSet( (aut)->statesFinality, (state), 1 );\
    }\
}

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

#define mAutomatonGetLabelSize( aut ) ( (aut)->transitionsLabel->elementSize )

struct tAutomaton{
    UINTSequence * initialStates;
    UINTSequence * transitionsFrom;
    VoidSequence * transitionsLabel;
    UINTSequence * transitionsTo;
    UINTSequence * statesTransitions;
    UINTSequence * statesNumberOfTransitions;
    BitSequence * statesFinality;
    TarjanTable * tt;
    UINT type;
};

#endif