-
Notifications
You must be signed in to change notification settings - Fork 0
/
algdataspecification
61 lines (49 loc) · 1.42 KB
/
algdataspecification
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
# Comment *
(General structuring if variables and objects)
(Objects are defined as follows)
objectname:objectflag ( = objectvalue)?
(there are two types of objects, scopeobjects and infoobjects)
(scopeobjects can ONLY have an openflag and a start flag)
(i.e. objectname:start/objectname:end)
(Elements are defined as follows)
element = {value_i? = <value>, +}
(value_i is the identifier and does not have to be specified,)
(as it is often implicitly defined (see below))
Allowed values
===============
meta:info = ? 0-1
==============
+ for type = graph
- weighted 0-1
- unweighted (default) 0-1
- directed 0-1
- undirected 0-1
- metric (not default) 0-1
- colored (not default) 0-1
+ for type = set
- weighted
- unweighted (default)
Allowed values
===============
meta:type = ? 0-1
===============
+ graph *
+ set *
+ machine *
data:start +
(for type = set)
elements:start 0-1
element = {id, value?} *
elements:end 0-1
set:start +
elements = {e1, e2, e3 .... en} |
{e1-en} | {e1, ea-eb} *
set:end +
(for type = graph)
vertices:start 1
vertex = {id?, weight?, (posx, posy)?,} *
vertices:end 1
edges:start
edge = {v1, v2, weight?} *
edges:end
data:end +