Skip to content
  • Jerome Galtier's avatar
    Add support for monoid_rep in Taf-Kit. · faf37729
    Jerome Galtier authored
    	* taf-kit/src/common.hh (arguments_t): Cosmetic changes. Add more
    	  comments. Reorder some attributes. Add new attribute `mrep'.
    	  [WITH_TWO_ALPHABETS] (arguments_t): Add new attributes `mrep1' and
    	  `mrep2'.
    	* taf-kit/src/getters.hh [!WITH_TWO_ALPHABETS] (get_exp_complete):
    	  Add a new argument. Update the `get_exp' macro accordingly.
    	* taf-kit/src/getters.hxx,
    	* taf-kit/src/edition_commands.hxx,
    	* taf-kit/src/fmp_commands.cc,
    	* taf-kit/src/main.cc,
    	* taf-kit/src/pipe_getters.hh,
    	* taf-kit/src/pipe_getters.hxx: Update calls to `make_rat_exp'.
    faf37729