adt2amas issueshttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues2019-09-30T14:17:01Zhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/12Add conditions on counter attack gates2019-09-30T14:17:01ZJaime AriasAdd conditions on counter attack gatesIt's missing the conditions on the counter-attack gates. For example in the `TS` gate of the treasure hunters model.It's missing the conditions on the counter-attack gates. For example in the `TS` gate of the treasure hunters model.Jaime AriasJaime Ariashttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/9Verify naming in vector of Channel pointers (channels), vector of State point...2018-12-14T09:39:56ZGiann Karlo AGUIRRE SAMBONÍVerify naming in vector of Channel pointers (channels), vector of State pointers (vector_states) and vector of Transition pointers (vector_transitions)Giann Karlo AGUIRRE SAMBONÍGiann Karlo AGUIRRE SAMBONÍhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/8Content in a set of ids must be the same as in vector of pointers in the clas...2018-12-14T09:31:24ZGiann Karlo AGUIRRE SAMBONÍContent in a set of ids must be the same as in vector of pointers in the classes which implement them. Verify it when setters are used.Giann Karlo AGUIRRE SAMBONÍGiann Karlo AGUIRRE SAMBONÍ