DiaDes  0.1
DIAgnosis of Discrete-Event System
Diades::Automata::Experimental::DdAutFileDescriptor Member List

This is the complete list of members for Diades::Automata::Experimental::DdAutFileDescriptor, including all inherited members.

_acceptorsDiades::Automata::Experimental::DdAutFileDescriptorprivate
_eventsDiades::Automata::Experimental::DdAutFileDescriptorprivate
_extensionMappingDiades::Automata::Experimental::DdAutFileDescriptorprivate
_idDiades::Automata::Experimental::DdAutFileDescriptorprivate
_nameDiades::Automata::Experimental::DdAutFileDescriptorprivate
_statesDiades::Automata::Experimental::DdAutFileDescriptorprivate
acceptorBegin() constDiades::Automata::Experimental::DdAutFileDescriptor
acceptorEnd() constDiades::Automata::Experimental::DdAutFileDescriptor
AcceptorIterator typedefDiades::Automata::Experimental::DdAutFileDescriptor
addTransition(Transition &&transition)Diades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
AutFileDescriptor()=defaultDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
AutFileDescriptor(AutFileDescriptor const &other)=defaultDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
AutFileDescriptor(AutFileDescriptor &&other)=defaultDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
clear()Diades::Automata::Experimental::DdAutFileDescriptorvirtual
clearInitial()Diades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
ConstAcceptorIterator typedefDiades::Automata::Experimental::DdAutFileDescriptor
ConstDetailedEventIterator typedefDiades::Automata::Experimental::DdAutFileDescriptor
ConstDetailedStateIterator typedefDiades::Automata::Experimental::DdAutFileDescriptor
ConstInitialIterator typedefDiades::Automata::Experimental::DdAutFileDescriptor
ConstTransitionIterator typedefDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
DdAutExtensions enum nameDiades::Automata::Experimental::DdAutFileDescriptor
DdAutFileDescriptor()=defaultDiades::Automata::Experimental::DdAutFileDescriptor
DdAutFileDescriptor(DdAutFileDescriptor const &other)=defaultDiades::Automata::Experimental::DdAutFileDescriptor
DdAutFileDescriptor(DdAutFileDescriptor &&other)=defaultDiades::Automata::Experimental::DdAutFileDescriptor
DetailedEvent typedefDiades::Automata::Experimental::DdAutFileDescriptor
DetailedEventIterator typedefDiades::Automata::Experimental::DdAutFileDescriptor
DetailedState typedefDiades::Automata::Experimental::DdAutFileDescriptor
DetailedStateIterator typedefDiades::Automata::Experimental::DdAutFileDescriptor
Event typedefDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
eventBegin() constDiades::Automata::Experimental::DdAutFileDescriptor
eventEnd() constDiades::Automata::Experimental::DdAutFileDescriptor
id() constDiades::Automata::Experimental::DdAutFileDescriptor
initialBegin() constDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
initialEnd() constDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
InitialIterator typedefDiades::Automata::Experimental::DdAutFileDescriptor
MyPrintEvent typedefDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
MyReadEvent typedefDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
name() constDiades::Automata::Experimental::DdAutFileDescriptor
numberOfInitialStates() constDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
numberOfStates() constDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
numberOfTransitions() constDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
operator=(DdAutFileDescriptor const &other)=defaultDiades::Automata::Experimental::DdAutFileDescriptor
operator=(DdAutFileDescriptor &&other)=defaultDiades::Automata::Experimental::DdAutFileDescriptor
AutFileDescriptor< DdAutEventId >::operator=(AutFileDescriptor const &other)=defaultDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
AutFileDescriptor< DdAutEventId >::operator=(AutFileDescriptor &&other)=defaultDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
readAcceptorExtension(std::istream &stream)Diades::Automata::Experimental::DdAutFileDescriptorprotected
readDdAutExtensions(std::istream &stream)Diades::Automata::Experimental::DdAutFileDescriptorprotected
readEventExtension(std::istream &stream)Diades::Automata::Experimental::DdAutFileDescriptorprotected
readExtensionField(std::istream &stream, std::string &other)Diades::Automata::Experimental::DdAutFileDescriptorprotected
readIdExtension(std::istream &stream)Diades::Automata::Experimental::DdAutFileDescriptorprotected
readInitialExtension(std::istream &stream, bool &firstInitialExtension)Diades::Automata::Experimental::DdAutFileDescriptorprotected
readNameExtension(std::istream &stream)Diades::Automata::Experimental::DdAutFileDescriptorprotected
readStateExtension(std::istream &stream)Diades::Automata::Experimental::DdAutFileDescriptorprotected
readStream(std::istream &stream)Diades::Automata::Experimental::DdAutFileDescriptorvirtual
removeTransition(const Transition &transition)Diades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
setAcceptor(State s)Diades::Automata::Experimental::DdAutFileDescriptor
setEvent(const Event &e, const DetailedEvent &detail)Diades::Automata::Experimental::DdAutFileDescriptor
setId(size_t id)Diades::Automata::Experimental::DdAutFileDescriptor
setInitial(State s)Diades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
setName(const string &name)Diades::Automata::Experimental::DdAutFileDescriptor
setNumberOfStates(size_t nbStates)Diades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
setState(State s, const DetailedState &detail)Diades::Automata::Experimental::DdAutFileDescriptor
State typedefDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
stateBegin() constDiades::Automata::Experimental::DdAutFileDescriptor
stateEnd() constDiades::Automata::Experimental::DdAutFileDescriptor
toStream(std::ostream &stream)Diades::Automata::Experimental::DdAutFileDescriptorvirtual
transBegin() constDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
transEnd() constDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >inline
TransitionIterator typedefDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >
~AutFileDescriptor()=defaultDiades::Automata::Experimental::AutFileDescriptor< DdAutEventId >virtual
~DdAutFileDescriptor()=defaultDiades::Automata::Experimental::DdAutFileDescriptorvirtual