|
|
| SCIP_Bool SCIPfileExists |
( |
const char * |
filename | ) |
|
returns, whether the given file exists
- Parameters
-
| void SCIPsplitFilename |
( |
char * |
filename, |
|
|
char ** |
path, |
|
|
char ** |
name, |
|
|
char ** |
extension, |
|
|
char ** |
compression |
|
) |
| |
splits filename into path, name, and extension
- Parameters
-
| filename | filename to split; is destroyed (but not freed) during process |
| path | pointer to store path, or NULL if not needed |
| name | pointer to store name, or NULL if not needed |
| extension | pointer to store extension, or NULL if not needed |
| compression | pointer to store compression extension, or NULL if not needed |
|