Polaris: PropCtrlRangeWS.cc File Reference
Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members
Range

PropCtrlRangeWS.cc File Reference

Go to the source code of this file.

Functions

static void _add_range_refs (Map< Symbol, RefSet< Expression > > &ranges, const Map< Symbol, Set< Expression > > &new_ranges)
 add_range_refs Add references to the ranges of the second range map to the first range map.
static bool _are_vars_in_expr (const Expression &e, const RefSet< Symbol > &vars)
 _are_vars_in_expr Return true if the given expression uses any of the variables in the given set.
static void _print_var_set (ostream &o, const RefSet< Symbol > &var_set)
 print_var_set Print the given set of symbols.
static void _print_range_map (ostream &o, const Map< Symbol, Set< Expression > > &ranges)
 print_range_map Print the given map from variables to set of ranges
static void _print_range_map (ostream &o, const Map< Symbol, RefSet< Expression > > &ranges)

Detailed Description

Definition in file PropCtrlRangeWS.cc.

Function Documentation

static void _add_range_refs (  Map< Symbol, RefSet< Expression > > &  ranges,
const Map< Symbol, Set< Expression > > &  new_ranges
)  [static]
 

add_range_refs Add references to the ranges of the second range map to the first range map.

Definition at line 181 of file PropCtrlRangeWS.cc.

References Iterator< T >::current(), KeyIterator< S, T >::current_data(), KeyIterator< S, T >::current_key(), RefSet< T >::ins(), Iterator< T >::valid(), and KeyIterator< S, T >::valid().

Referenced by PropCtrlRangeWS::update_out_ranges().

static bool _are_vars_in_expr (  const Expression &  e,
const RefSet< Symbol > &  vars
)  [static]
 

_are_vars_in_expr Return true if the given expression uses any of the variables in the given set.

Definition at line 208 of file PropCtrlRangeWS.cc.

References _are_vars_in_expr(), Expression::arg_list(), Iterator< T >::current(), e, ID_OP, Expression::op(), DistributeExpr::symbol(), and Iterator< T >::valid().

static void _print_var_set (  ostream &  o,
const RefSet< Symbol > &  var_set
)  [static]
 

print_var_set Print the given set of symbols.

Definition at line 266 of file PropCtrlRangeWS.cc.

References Iterator< T >::current(), Symbol::name_ref(), and Iterator< T >::valid().

static void _print_range_map (  ostream &  o,
const Map< Symbol, Set< Expression > > &  ranges
)  [static]
 

print_range_map Print the given map from variables to set of ranges

Definition at line 288 of file PropCtrlRangeWS.cc.

References KeyIterator< S, T >::current_data(), KeyIterator< S, T >::current_key(), Symbol::name_ref(), and KeyIterator< S, T >::valid().

Referenced by PropCtrlRangeWS::print().

static void _print_range_map (  ostream &  o,
const Map< Symbol, RefSet< Expression > > &  ranges
)  [static]
 

Definition at line 308 of file PropCtrlRangeWS.cc.

References KeyIterator< S, T >::current_data(), KeyIterator< S, T >::current_key(), Symbol::name_ref(), and KeyIterator< S, T >::valid().

 © 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:06:24 2005