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