1\DOC get_vord 2 3\TYPE {get_vord : model -> string list option} 4 5\SYNOPSIS 6Returns the BDD variable ordering used by HolCheck for this model, if one has been set. 7 8\SEEALSO 9holCheckLib.holCheck, 10holCheckLib.set_vord. 11 12\ENDDOC