Changeset e9ffa0 in git for factory/variable.h

Timestamp:

Aug 3, 2012, 1:28:10 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')

Children:

69c542f9869e7a3e82b1cc481139d89110b7afd3

Parents:

b0732eb4254fbe76540d72c337f3d7f985adf948051432dd83870fbe8b97700f01135436c5d6f6fd

Message:

Merge pull request #164 from mmklee/factory_trfix_sw

Factory trfix sw

File:

• factory/variable.h (modified) (2 diffs)

factory/variable.h

@@ -78 +78 @@
 inline char name( const Variable & v ) { return v.name(); }
 
+void setReduce( const Variable & alpha, bool reduce );
+void setMipo ( const Variable & alpha, const CanonicalForm & mipo);
 CanonicalForm getMipo( const Variable & alpha, const Variable & x );
 bool hasMipo( const Variable & alpha );
@@ -93 +95 @@
 InternalPoly * getInternalMipo ( const Variable & alpha );
 bool getReduce( const Variable & alpha );
-void setReduce( const Variable & alpha, bool reduce );
 
 #endif /* ! INCL_VARIABLE_H */