Polaris: Evolution< Value > Class Template Reference

Evolution< Value > Class Template Reference A symbolic value class. More... #include <Evolution.h> List of all members. Public Member Functions   Evolution ()   Evolution (const Value &min, const Value &max)   Evolution (const Evolution &other) Evolution &  operator= (const Evolution &other) bool  operator== (const Evolution &other) Evolution &  operator+= (const Evolution &other) Evolution &  operator *= (Value *factor)   ~Evolution () const Value *  min_difference () const const Value *  max_difference () const Detailed Description template<class Value> class Evolution< Value > A symbolic value class. Definition at line 19 of file Evolution.h. Constructor & Destructor Documentation template<class Value> Evolution< Value >::Evolution (   )    Definition at line 76 of file Evolution.h. template<class Value> Evolution< Value >::Evolution (  const Value &  min, const Value &  max )    Definition at line 82 of file Evolution.h. References Expression::clone(). template<class Value> Evolution< Value >::Evolution (  const Evolution< Value > &  other  )    Definition at line 88 of file Evolution.h. References Expression::clone(). template<class Value> Evolution< Value >::~Evolution (   )    Definition at line 201 of file Evolution.h. Member Function Documentation template<class Value> Evolution< Value > & Evolution< Value >::operator= (  const Evolution< Value > &  other  )    Definition at line 127 of file Evolution.h. References Evolution< Value >::_max, and Evolution< Value >::_min. template<class Value> bool Evolution< Value >::operator== (  const Evolution< Value > &  other  )    Definition at line 102 of file Evolution.h. template<class Value> Evolution< Value > & Evolution< Value >::operator+= (  const Evolution< Value > &  other  )    < Make corrections for undefined operations such as ( Inf - Inf ). Definition at line 148 of file Evolution.h. References add(), infinity(), OMEGA_OP, and simplify(). template<class Value> Evolution< Value > & Evolution< Value >::operator *= (  Value *  factor  )    < We assume the factor to be positive or 0. < Do nothing < Make corrections for undefined operations such as Inf*0. Definition at line 166 of file Evolution.h. References infinity(), INFINITY_OP, INTEGER_CONSTANT_OP, mul(), OMEGA_OP, and simplify(). template<class Value> const Value * Evolution< Value >::min_difference (   )  const   Definition at line 211 of file Evolution.h. Referenced by EvolutionGraph::_add_approximations(), EvolutionGraph::_compute_cyclic_evolutions(), EvolutionGraph::_local_range(), eg_get_ev_summary(), EvolutionGraph::get_trace_details(), multiply_positive(), EvolutionGraph::perfect_trace_from_mu(), EvolutionGraph::range_from_input(), EvolutionGraph::sequence_type(), and EvolutionGraph::substitute(). template<class Value> const Value * Evolution< Value >::max_difference (   )  const   Definition at line 216 of file Evolution.h. Referenced by EvolutionGraph::_add_approximations(), EvolutionGraph::_compute_cyclic_evolutions(), EvolutionGraph::_local_range(), eg_get_ev_summary(), EvolutionGraph::get_trace_details(), multiply_positive(), EvolutionGraph::perfect_trace_from_mu(), EvolutionGraph::range_from_input(), EvolutionGraph::sequence_type(), and EvolutionGraph::substitute(). The documentation for this class was generated from the following file: Evolution.h

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