Changeset be587d in git
- Timestamp:
- Aug 7, 2019, 3:03:39 PM (4 years ago)
- Branches:
- (u'spielwiese', 'd1ba061a762c62d3a25159d8da8b6e17332291fa')
- Children:
- ad31e892f8a885930b674dcbeb2e8852d9809946
- Parents:
- eaa04d99a77423d7f9cde832587a68b8005c46d8
- Location:
- factory
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/cf_inline.cc
reaa04d rbe587d 143 143 CF_INLINE 144 144 CanonicalForm::CanonicalForm ( const int i ) 145 : value( CFFactory::basic( ( constlong)i ) )145 : value( CFFactory::basic( (long)i ) ) 146 146 { 147 147 } -
factory/imm.h
reaa04d rbe587d 165 165 { 166 166 if ( is_imm( op ) == FFMARK ) 167 { 167 168 if ( cf_glob_switches.isOn( SW_SYMMETRIC_FF ) ) 168 169 return ff_symmetric( imm2int( op ) ); 169 170 else 170 171 return imm2int( op ); 171 else if ( is_imm( op ) == GFMARK ) { 172 } 173 else if ( is_imm( op ) == GFMARK ) 174 { 172 175 ASSERT( gf_isff( imm2int( op ) ), "invalid conversion" ); 173 176 if ( cf_glob_switches.isOn( SW_SYMMETRIC_FF ) ) … … 176 179 return gf_gf2ff( imm2int( op ) ); 177 180 } 178 else181 /*else*/ 179 182 return imm2int( op ); 180 183 }
Note: See TracChangeset
for help on using the changeset viewer.