blob: 841ad943d72d7010e9274db3bceac3f0bfcdff5f (
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_vars
|