blob: b119d8a788ab4883d75f51d8854ab71f40e41b66 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# Parameter definitions for thorn IDFileADM
# $Header$
shares: ADMBase
EXTENDS KEYWORD initial_lapse
{
"read from file" :: "Read the initial lapse using the file reader. Note that this only allows you to read the lapse from a file, it does not actually do it. You still have to programme the file reader accordingly."
}
EXTENDS KEYWORD initial_shift
{
"read from file" :: "Read the initial shift using the file reader. Note that this only allows you to read the shift from a file, it does not actually do it. You still have to programme the file reader accordingly."
}
EXTENDS KEYWORD initial_data
{
"read from file" :: "Read the initial data using the file reader. Note that this only allows you to read the metric from a file, it does not actually do it. You still have to programme the file reader accordingly."
}
shares: IO
USES STRING filereader_ID_files
|
