Changeset c770dc in git
- Timestamp:
- Oct 13, 2011, 9:35:07 PM (11 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- c4682e088e605c0571674268fab219b833bb95cd
- Parents:
- 82db91acfc327c4583f75ec07981145804778f97
- git-author:
- Niels Ranosch <ranosch@mfo.de>2011-10-13 21:35:07+02:00
- git-committer:
- Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:14:04+01:00
- Location:
- factory
- Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/int_cf.h
r82db91a rc770dc 41 41 InternalCF* copyObject() { incRefCount(); return this; } 42 42 virtual InternalCF* deepCopyObject() const PVIRT_INTCF("deepCopyObject"); 43 virtual const char * c onst classname() const PVIRT_CHARCC("classname");43 virtual const char * classname() const PVIRT_CHARCC("classname"); 44 44 virtual InternalCF* genZero() PVIRT_INTCF("genZero"); 45 45 virtual InternalCF* genOne() PVIRT_INTCF("genOne"); -
factory/int_int.h
r82db91a rc770dc 68 68 ~InternalInteger(); 69 69 InternalCF* deepCopyObject() const; 70 const char * c onst classname() const { return "InternalInteger"; }70 const char * classname() const { return "InternalInteger"; } 71 71 #ifndef NOSTREAMIO 72 72 void print( OSTREAM&, char* ); -
factory/int_poly.h
r82db91a rc770dc 82 82 ~InternalPoly(); 83 83 InternalCF* deepCopyObject() const; 84 const char * c onst classname() const { return "InternalPoly"; }84 const char * classname() const { return "InternalPoly"; } 85 85 int level() const { return var.level(); } 86 86 Variable variable() const { return var; } -
factory/int_pp.h
r82db91a rc770dc 46 46 ~InternalPrimePower(); 47 47 InternalCF* deepCopyObject() const; 48 const char * c onst classname() const { return "InternalPrimePower"; }48 const char * classname() const { return "InternalPrimePower"; } 49 49 #ifndef NOSTREAMIO 50 50 void print( OSTREAM&, char* ); -
factory/int_rat.h
r82db91a rc770dc 46 46 ~InternalRational(); 47 47 InternalCF* deepCopyObject() const; 48 const char * c onst classname() const { return "InternalRational"; }48 const char * classname() const { return "InternalRational"; } 49 49 #ifndef NOSTREAMIO 50 50 void print( OSTREAM&, char* );
Note: See TracChangeset
for help on using the changeset viewer.