blob: 2b186875cfae912bd3c5e43f392f760ccd91ff81 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
<level title="Coloring Edges" description="Click on an edge to color it." objective="Change the color of the edge."/>
<global-vertex-protections protect="ad"/>
<global-edge-protections protect="ad"/>
<colors>
<color color="#FF0000" name="red"/>
<color color="#00FF00" name="green"/>
<color color="#0000FF" name="blue"/>
</colors>
<graph>
<vertex x="300" y="300" id="v1" color="red"/>
<vertex x="400" y="400" id="v2" color="red"/>
<edge v1="v1" v2="v2" id="e" color="red"/>
</graph>
<values>
<op op="edge-color" id="e_color" val1="e"/>
<op op="!=" id="is_changed" val1="e_color" val2="red"/>
<op op="*" id="points" val1="is_changed" val2="5"/>
<var id="objective" val="5"/>
</values>
|
