1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110

<alloy builddate="2025-01-09T08:17:18.350Z">

<instance bitwidth="4" maxseq="4" mintrace="-1" maxtrace="-1" command="Run structural_modeling_instance_08 for 4 expect 1" filename="/home/philip/kot/alloy/practicalalloy-models/structural-modeling/instance_07_08/filesystem.als" tracelength="1" looplength="1">

<sig label="seq/Int" ID="0" parentID="1" builtin="yes">
</sig>

<sig label="Int" ID="1" parentID="2" builtin="yes">
</sig>

<sig label="String" ID="3" parentID="2" builtin="yes">
</sig>

<sig label="this/Root" ID="4" parentID="5" one="yes">
   <atom label="Root$0"/>
</sig>

<sig label="this/Dir" ID="5" parentID="6">
   <atom label="Dir$0"/>
</sig>

<field label="entries" ID="7" parentID="5">
   <tuple> <atom label="Root$0"/> <atom label="Entry$1"/> </tuple>
   <tuple> <atom label="Dir$0"/> <atom label="Entry$0"/> </tuple>
   <tuple> <atom label="Dir$0"/> <atom label="Entry$1"/> </tuple>
   <tuple> <atom label="Dir$0"/> <atom label="Entry$2"/> </tuple>
   <tuple> <atom label="Dir$0"/> <atom label="Entry$3"/> </tuple>
   <types> <type ID="5"/> <type ID="8"/> </types>
</field>

<sig label="this/File" ID="9" parentID="6">
   <atom label="File$0"/>
</sig>

<sig label="this/Object" ID="6" parentID="2" abstract="yes">
</sig>

<sig label="this/Entry" ID="8" parentID="2">
   <atom label="Entry$0"/>
   <atom label="Entry$1"/>
   <atom label="Entry$2"/>
   <atom label="Entry$3"/>
</sig>

<field label="object" ID="10" parentID="8">
   <tuple> <atom label="Entry$0"/> <atom label="Dir$0"/> </tuple>
   <tuple> <atom label="Entry$1"/> <atom label="Dir$0"/> </tuple>
   <tuple> <atom label="Entry$2"/> <atom label="Dir$0"/> </tuple>
   <tuple> <atom label="Entry$3"/> <atom label="Dir$0"/> </tuple>
   <types> <type ID="8"/> <type ID="6"/> </types>
</field>

<field label="name" ID="11" parentID="8">
   <tuple> <atom label="Entry$0"/> <atom label="Name$0"/> </tuple>
   <tuple> <atom label="Entry$1"/> <atom label="Name$0"/> </tuple>
   <tuple> <atom label="Entry$2"/> <atom label="Name$0"/> </tuple>
   <tuple> <atom label="Entry$3"/> <atom label="Name$0"/> </tuple>
   <types> <type ID="8"/> <type ID="12"/> </types>
</field>

<sig label="this/Name" ID="12" parentID="2">
   <atom label="Name$0"/>
</sig>

<sig label="univ" ID="2" builtin="yes">
</sig>

<skolem label="$structural_modeling_instance_08_d0" ID="13">
   <tuple> <atom label="Dir$0"/> </tuple>
   <types> <type ID="5"/> </types>
</skolem>

<skolem label="$structural_modeling_instance_08_r" ID="14">
   <tuple> <atom label="Root$0"/> </tuple>
   <types> <type ID="5"/> </types>
</skolem>

<skolem label="$structural_modeling_instance_08_f0" ID="15">
   <tuple> <atom label="File$0"/> </tuple>
   <types> <type ID="9"/> </types>
</skolem>

<skolem label="$structural_modeling_instance_08_e0" ID="16">
   <tuple> <atom label="Entry$2"/> </tuple>
   <types> <type ID="8"/> </types>
</skolem>

<skolem label="$structural_modeling_instance_08_e1" ID="17">
   <tuple> <atom label="Entry$0"/> </tuple>
   <types> <type ID="8"/> </types>
</skolem>

<skolem label="$structural_modeling_instance_08_e2" ID="18">
   <tuple> <atom label="Entry$3"/> </tuple>
   <types> <type ID="8"/> </types>
</skolem>

<skolem label="$structural_modeling_instance_08_e3" ID="19">
   <tuple> <atom label="Entry$1"/> </tuple>
   <types> <type ID="8"/> </types>
</skolem>

<skolem label="$structural_modeling_instance_08_n0" ID="20">
   <tuple> <atom label="Name$0"/> </tuple>
   <types> <type ID="12"/> </types>
</skolem>

</instance>

</alloy>