|
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 |
|