empty_model : model
STRUCTURE
holCheckLib
SYNOPSIS
Represents a HolCheck model with no information.
DESCRIPTION
This is used as a starting point for building a HolCheck model, using the set_X functions in holCheckLib.
SEEALSO
holCheck
,
set_init
,
set_trans
,
set_flag_ric
,
set_name
,
set_vord
,
set_state
,
set_props
HOL
Kananaskis-10