class SWITCH_TYPE
Summary
Class invariant
Overview
creation features
exported features
type: LIVE_TYPE
writable attribute
the type associated to those switch sites
site (feature_name: FEATURE_NAME): SWITCH_SITE
effective function
add_site (s: SWITCH_SITE)
effective procedure
effective function
count: INTEGER_32
effective function