adt2amas issueshttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues2018-12-14T09:39:56Zhttps://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Íhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/6Apply design patterns agreed to make gates and leaves2018-10-31T16:17:06ZGiann Karlo AGUIRRE SAMBONÍApply design patterns agreed to make gates and leavesGiann Karlo AGUIRRE SAMBONÍGiann Karlo AGUIRRE SAMBONÍhttps://depot.lipn.univ-paris13.fr/parties/tools/adt2amas/-/issues/5Make a constructor with new syntaxis eg. Class::Class(Type type): type_(type){}2018-10-31T16:12:00ZGiann Karlo AGUIRRE SAMBONÍMake a constructor with new syntaxis eg. Class::Class(Type type): type_(type){}Giann Karlo AGUIRRE SAMBONÍGiann Karlo AGUIRRE SAMBONÍ