get_vord : model -> string list option
STRUCTURE
holCheckLib
SYNOPSIS
Returns the BDD variable ordering used by HolCheck for this model, if one has been set.
SEEALSO
holCheck
,
set_vord
HOL
Kananaskis-10