JCHTransformUtils.alias_sets_t
method add : CHLanguage.variable_t -> CHLanguage.variable_t -> unit
method add_const : CHLanguage.variable_t -> CHNumerical.numerical_t -> unit
method change_representative : CHLanguage.variable_t
CHUtils.VariableCollections.table_t ->
unit
method find_aliased_locals : (CHLanguage.variable_t * CHLanguage.variable_t)
list
method get_representative : CHLanguage.variable_t ->
CHLanguage.variable_t option
method get_representatives : CHLanguage.variable_t
CHUtils.VariableCollections.table_t
method toPretty : CHPretty.pretty_t