Changeset 5ab7d6 in git for factory/variable.h


Ignore:
Timestamp:
Aug 1, 2012, 5:50:10 PM (11 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '1d362c315e551a5b527ab0759f8839cf0e94f3a5')
Children:
21263cf68eb94ca94f4b65c4464312b7892f411e
Parents:
741bb919ee1b97433fc1241653be4546c27fa727
git-author:
Martin Lee <martinlee84@web.de>2012-08-01 17:50:10+02:00
git-committer:
Martin Lee <martinlee84@web.de>2012-08-03 10:03:18+02:00
Message:
chg: made var_names_ext static and setMipo available again
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/variable.h

    r741bb9 r5ab7d6  
    7878inline char name( const Variable & v ) { return v.name(); }
    7979
     80void setMipo ( const Variable & alpha, const CanonicalForm & mipo);
    8081CanonicalForm getMipo( const Variable & alpha, const Variable & x );
    8182bool hasMipo( const Variable & alpha );
Note: See TracChangeset for help on using the changeset viewer.