Changeset c10f46 in git for factory/variable.h

Timestamp:

Aug 3, 2012, 1:06:22 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

b0732eb4254fbe76540d72c337f3d7f985adf948

Parents:

b8610796eaca5ba7db8dc75f8bc88d698e077b365abb0e7fdca82a2bad9778e410148c74d7b49a0b

Message:

Merge pull request #162 from steenpass/libs

changes in LIBs from master

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 */