Warning:
This wiki has been archived and is now read-only.
Signalling Ordering
From RIF
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.