Warning:
This wiki has been archived and is now read-only.

Signalling Ordering

From RIF
(Redirected from Ordering)
Jump to: navigation, search

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.