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_SYMBOLICTRANSFORMATION_H 00032 #define SUNDANCE_SYMBOLICTRANSFORMATION_H 00033 00034 #include "SundanceDefs.hpp" 00035 #include "SundanceObjectWithVerbosity.hpp" 00036 #include "Teuchos_RefCountPtr.hpp" 00037 00038 namespace Sundance 00039 { 00040 using namespace Sundance; 00041 00042 00043 00044 00045 class ScalarExpr; 00046 00047 /** 00048 * SumTransformation is a base class for any transformation 00049 * which takes the two operands of a sum (left, right) and produces 00050 * a new expression mathematically equivalent to the original 00051 * sum. This will be used to effect simplification 00052 * transformations on sum expressions. 00053 */ 00054 class SymbolicTransformation : public ObjectWithClassVerbosity<SymbolicTransformation> 00055 { 00056 public: 00057 /** */ 00058 SymbolicTransformation(); 00059 00060 /** */ 00061 virtual ~SymbolicTransformation(){;} 00062 00063 /** Whether to build optimized polynomial objects */ 00064 static bool& useOptimizedPolynomials() 00065 {static bool rtn=false; return rtn;} 00066 00067 /** Returns -expr if sign == -1, otherwise returns expr */ 00068 static RCP<ScalarExpr> chooseSign(int sign, 00069 const RCP<ScalarExpr>& expr); 00070 00071 /** Returns -expr if sign == -1, otherwise returns expr */ 00072 static Expr chooseSign(int sign, 00073 const Expr& expr); 00074 00075 /** extract the underlying ScalarExpr from an Expr. */ 00076 static RCP<ScalarExpr> getScalar(const Expr& expr); 00077 }; 00078 } 00079 00080 00081 00082 #endif