Polaris: GSAControlRangeData.cc File Reference

GSAControlRangeData.cc File Reference Go to the source code of this file. Functions template ostream &  operator<< (ostream &, const Map< Statement, GSAControlRangeData > &) template ostream &  operator<< (ostream &, const Map< Statement, Map< Symbol, Set< Expression > > > &) static bool  _has_asserts (const Statement &stmt)   has_asserts Return true if the given statement has assertions. static void  _add_asserts_to_ranges (Map< Symbol, Set< Expression > > &var_ranges, const Statement &stmt)   add_asserts_to_ranges Add any relation assertions for the given statement to the given set of ranges. static void  _print_data_ref (ostream &o, const GSAControlRangeData *data)   print_data_ref Detailed Description Definition in file GSAControlRangeData.cc. Function Documentation template ostream& operator<< (  ostream &  , const Map< Statement, GSAControlRangeData > &  )  template ostream& operator<< (  ostream &  , const Map< Statement, Map< Symbol, Set< Expression > > > &  )  static bool _has_asserts (  const Statement &  stmt  )  [static]   has_asserts Return true if the given statement has assertions. Definition at line 72 of file GSAControlRangeData.cc. References AS_RELATION, Iterator< T >::current(), Assertion::type(), and Iterator< T >::valid(). static void _add_asserts_to_ranges (  Map< Symbol, Set< Expression > > &  var_ranges, const Statement &  stmt )  [static]   add_asserts_to_ranges Add any relation assertions for the given statement to the given set of ranges. Definition at line 133 of file GSAControlRangeData.cc. References Assertion::arg_list_guarded(), AS_RELATION, Statement::assertions(), Iterator< T >::current(), KeyIterator< S, T >::current_data(), KeyIterator< S, T >::current_key(), extract_ranges(), ProtoMap< S, T >::find_ref(), Mutator< T >::grab(), Set< T >::ins(), Assertion::type(), KeyIterator< S, T >::valid(), and Iterator< T >::valid(). static void _print_data_ref (  ostream &  o, const GSAControlRangeData *  data )  [static]   print_data_ref Definition at line 405 of file GSAControlRangeData.cc. Referenced by SSAControlRangeData::print(), and GSAControlRangeData::print().

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