<?xml version="1.0" encoding="UTF-8"?> <?xml-stylesheet type="text/xsl" href="../../xml/xtcHTML.xsl"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../../xml/xtc.xsd" type="termination"> <trs> <rules> <rule> <lhs> <funapp> <name>breadth</name> <arg> <var>@breadth@1</var> </arg> <arg> <var>@breadth@2</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>breadth#1</name> <arg> <funapp> <name>dequeue</name> <arg> <var>@breadth@1</var> </arg> <arg> <var>@breadth@2</var> </arg> </funapp> </arg> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>breadth#1</name> <arg> <funapp> <name>tuple#2</name> <arg> <var>@queue'</var> </arg> <arg> <var>@elem</var> </arg> </funapp> </arg> </funapp> </lhs> <rhs> <funapp> <name>breadth#2</name> <arg> <var>@elem</var> </arg> <arg> <var>@queue'</var> </arg> </funapp> </rhs> </rule> <rule> <lhs> <funapp> <name>breadth#2</name> <arg> <funapp> <name>::</name> <arg> <var>@z</var> </arg> <arg> <var>@_@9</var> </arg> </funapp> </arg> <arg> <var>@queue'</var> </arg> </funapp> </lhs> <rhs> <funapp> <name>breadth#3</name> <arg> <funapp> <name>breadth#4</name> <arg> <var>@z</var> </arg> </funapp> </arg> <arg> <var>@queue'</var> </arg> </funapp> </rhs> </rule>
content may be truncated. 'popout' for larger text window.