Changeset f71c1a in git

Timestamp:

Jan 25, 2017, 12:31:04 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

b0e6128cd4ba4005d49a91c2e88a53d79972edce

Parents:

cd6f8d22526e61cffd63354b5f245ce64bcd288b

Message:

factory: inline the trivial CFFactory::settype

Location:

factory

Files:

• cf_factory.cc (modified) (1 diff)
• cf_factory.h (modified) (2 diffs)

factory/cf_factory.cc

@@ -18 +18 @@
 int CFFactory::currenttype = IntegerDomain;
 
-void
-CFFactory::settype ( int type )
-{
-    ASSERT( type==FiniteFieldDomain || type==GaloisFieldDomain || type==IntegerDomain || type==RationalDomain, "illegal basic domain!" );
-    currenttype = type;
-}
-
 InternalCF *
 CFFactory::basic ( long value )

factory/cf_factory.h

@@ -16 +16 @@
 
 #include <factory/cf_gmp.h>
+#include <factory/cf_assert.h>
 
 class InternalCF;
@@ -26 +27 @@
 public:
     static int gettype () { return currenttype; }
-    static void settype ( int type );
+    static void settype ( int type )
+    {
+      ASSERT( type==FiniteFieldDomain || type==GaloisFieldDomain || type==IntegerDomain || type==RationalDomain, "illegal basic domain!" );
+      currenttype = type;
+    };
     static InternalCF * basic ( long value );
     static InternalCF * basic ( int type, long value );