15 extern void writeKkit(
Id model,
const string& fname );
41 size_t pos = fileName.find(
"." );
42 string fileType = fileName.substr( pos );
44 if ( fileType ==
".g" ) {
47 }
else if (fileType ==
".cspace"){
49 cout <<
"Cannot write cspace model at this point\n";
51 cout <<
"Warning: Shell::doSaveModel: Do not know how to save "
52 "model of file type '" << fileType <<
"'.\n";
void writeKkit(Id model, const string &fname)
void doSaveModel(Id model, const string &fileName, bool qflag=0) const
void writeCspace(Id model, const string &fname)