Bug List

Member Diades::Sdmdl::UnfoldingState::observableLabel () const

no more printObservableFormula, do it with abstraction (existAbstract on observable variable)

Member getSynchronisedInteraction (const Topology &topology, const Node &node, SharedEventNodeMap &sharedEventOfNode, const Diades::Graph::ConstNodeMap< pair< string, ObservableComponent *> > &projection, set< Node >::const_iterator first, set< Node >::const_iterator last)

not sure yet that the synchronised product will never be empty, which is the requirement for the whole generation algorithm to work.

not sure yet that the synchronised product will never be empty, which is the requirement for the whole generation algorithm to work.

Member getTransitionFromInteractiveCurrentState (const ObservableComponent &interaction, State currentInteractingState, const Event &eventCurrentNode, map< Event, Topology::Connection > &mappingCurrentSideToInteraction, map< Topology::Connection, Event > &mappingConnectionToInteraction, const set< Event > &constrainedEvents)

clique <= 2 only

Member initConstrainedConnectionMappings (const Topology &topology, const Node &node, SharedEventNodeMap &sharedEventOfNode, set< Node >::const_iterator first, set< Node >::const_iterator last, map< Event, Topology::Connection > &mappingInteractionToCurrentSide, map< Topology::Connection, Event > &mappingConnectionToInteraction, map< Event, Topology::Connection > &mappingCurrentSideToInteraction, set< Event > &constrainedEvents)

do not work with clique strictly greater than 2