00001 /* @HEADER@ */ 00002 // ************************************************************************ 00003 // 00004 // Sundance 00005 // Copyright (2005) Sandia Corporation 00006 // 00007 // Copyright (year first published) Sandia Corporation. Under the terms 00008 // of Contract DE-AC04-94AL85000 with Sandia Corporation, the U.S. Government 00009 // retains certain rights in this software. 00010 // 00011 // This library is free software; you can redistribute it and/or modify 00012 // it under the terms of the GNU Lesser General Public License as 00013 // published by the Free Software Foundation; either version 2.1 of the 00014 // License, or (at your option) any later version. 00015 // 00016 // This library is distributed in the hope that it will be useful, but 00017 // WITHOUT ANY WARRANTY; without even the implied warranty of 00018 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00019 // Lesser General Public License for more details. 00020 // 00021 // You should have received a copy of the GNU Lesser General Public 00022 // License along with this library; if not, write to the Free Software 00023 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 00024 // USA 00025 // Questions? Contact Kevin Long (krlong@sandia.gov), 00026 // Sandia National Laboratories, Livermore, California, USA 00027 // 00028 // ************************************************************************ 00029 /* @HEADER@ */ 00030 00031 #ifndef SUNDANCE_PRODUCTTRANSFORMATION_H 00032 #define SUNDANCE_PRODUCTTRANSFORMATION_H 00033 00034 #include "SundanceDefs.hpp" 00035 #include "SundanceSymbolicTransformation.hpp" 00036 00037 namespace Sundance 00038 { 00039 using namespace Sundance; 00040 using namespace Teuchos; 00041 00042 00043 00044 00045 /** 00046 * ProductTransformation is a base class for any transformation 00047 * which takes the two operands of a product (left, right) and produces 00048 * a new expression mathematically equivalent to the original 00049 * product. This will be used to effect simplification 00050 * transformations on product expressions. 00051 */ 00052 class ProductTransformation : public SymbolicTransformation 00053 { 00054 public: 00055 /** */ 00056 ProductTransformation(); 00057 00058 /** */ 00059 virtual ~ProductTransformation(){;} 00060 00061 /** */ 00062 static bool& optimizeFunctionDiffOps() 00063 {static bool rtn=true; return rtn;} 00064 00065 /** 00066 * Test whether the transform is applicable in this case, 00067 * and if it is, apply it. The return value is true is the 00068 * transformation was applied, otherwise false. 00069 * Returns by non-const reference 00070 * the transformed expression. 00071 * 00072 */ 00073 virtual bool doTransform(const RCP<ScalarExpr>& left, 00074 const RCP<ScalarExpr>& right, 00075 RCP<ScalarExpr>& rtn) const = 0 ; 00076 }; 00077 } 00078 00079 #endif