Created Sun Jan 12 09:49:53 MET 1997 by datr2html (V1.0, 25.12.1996, D. Gibbon)

HyprLex DATR application: bubble.dtr

# vars $VAR: a b c 1 0 .

[Start - End - NodeList]

Bubble:
<> == <if Sorted?>
<if sorted> == Copy:<>
<if unsorted> == < Permute:<> softlop > .

[Start - End - NodeList]

Permute:
<> ==
<$VAR> == $VAR <>
<b a> == a <b>
<c a> == a <c>
<c b> == b <c>
<1 0> == 0 <1> .

[Start - End - NodeList]

Sorted?:
<> == sorted
<$VAR> == <>
<b a> == unsorted
<c a> == unsorted
<c b> == unsorted
<1 0> == unsorted .

[Start - End - NodeList]

Copy:
<> ==
<$VAR> == $VAR <> .

[Start - End - NodeList]

Node List

Note: There is currently no check for declared or quoted atoms or variables, which may lead to missing or spurious links.

Bubble Copy Permute Sorted?

[Start - End - NodeList ]

D. Gibbon, Sun Jan 12 09:49:54 MET 1997