Warning:
This wiki has been archived and is now read-only.
Signalling Ordering
From RIF
(Redirected from Ordering)
attribute ordered="yes"
<formula>
<Atom>
<op><Const ... /></op>
<args rif:ordered="yes">
<Var> ... </Var>
<Var> ... </Var>
<Const .../>
</args>
</Atom>
</formula>
element List
<formula>
<Atom>
<op><Const ... /></op>
<args>
<List>
<Var> ... </Var>
<Var> ... </Var>
<Const .../>
</List>
</args>
</Atom>
</formula>
Suggest putting them in "ttxml" namespace, instead of "rif" namespace.