Example: Encoding a set

<set>

<bvar>

<vector>

<ci>x</ci>

<ci>y</ci>

</vector>

</bvar>

<condition>

<apply><and/>

<apply><in/>

<ci>x</ci>

<ci>F121</ci>

</apply>

<apply><in/>

<ci>y</ci>

<ci>F121</ci>

</apply>

<apply><eq/>

...

F121 has been declared on previous slide.

Previous slide

Next slide

Back to first slide

View graphic version