Diades::Automata::Experimental::EventSetManager< EventLabel, EventId > Member List

This is the complete list of members for Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >, including all inherited members.

_eventOfId	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	private
_idOfEvent	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	private
code(EventId e) const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
contains(const EventSet &eSet, EventId e) const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
decodeEventSet(const EventSet &eventSet) const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
emptySet() const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
encode(EventId e)	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
encodeNoCheck(EventId e)	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
encodeRange(EventIterator first, EventIterator last)	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
event(EventCode c) const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
EventCode typedef	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >
eventSet(EventIterator first, EventIterator last) const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
eventSet(EventId e) const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
EventSet typedef	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >
EventSetManager()	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
EventSetManager(const EventSetManager &mgr)	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
EventSetManager(EventSetManager &&mgr)	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
Exception typedef	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >
hasCode(EventCode c) const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
hasEvent(EventId e) const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
initialise(EventIterator first, EventIterator last)	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
Map typedef	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >
map() const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
numberOfEncodedEvents() const	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
operator=(const EventSetManager &mgr)	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
projectEventSet(const EventSetManager &mgr, const EventSet &es)	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
sortCodes()	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline
typeName()	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inlinestatic
~EventSetManager()	Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >	inline