param.ccl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# Parameter definitions for thorn Trumpet

SHARES: ADMBase

EXTENDS KEYWORD initial_data
{
  "trumpet" :: "one maximal trumpet"
}

EXTENDS KEYWORD initial_lapse
{
 "trumpet" :: "one maximal trumpet"
}

EXTENDS KEYWORD initial_shift
{
 "trumpet" :: "one maximal trumpet"
}