Changeset 5b8726d in git for factory/cf_map_ext.cc
- Timestamp:
- Oct 13, 2011, 9:46:17 PM (13 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- ee1f01f859833388e917cc3b0cb2a404fd3babf1
- Parents:
- ecd9a3e3080b093745b8ca81ccac0542ba57ccb9
- git-author:
- Niels Ranosch <ranosch@mfo.de>2011-10-13 21:46:17+02:00
- git-committer:
- Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:14:05+01:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/cf_map_ext.cc
recd9a3e r5b8726d 362 362 363 363 CanonicalForm 364 mapUp (const CanonicalForm& F, const Variable& alpha, const Variable& beta,364 mapUp (const CanonicalForm& F, const Variable& alpha, const Variable& /*beta*/, 365 365 const CanonicalForm& prim_elem, const CanonicalForm& im_prim_elem, 366 366 CFList& source, CFList& dest)
Note: See TracChangeset
for help on using the changeset viewer.