00001 /* @HEADER@ */ 00002 // ************************************************************************ 00003 // 00004 // Sundance 00005 // Copyright 2011 Sandia Corporation 00006 // 00007 // Under the terms of Contract DE-AC04-94AL85000 with Sandia Corporation, 00008 // the U.S. Government retains certain rights in this software. 00009 // 00010 // Redistribution and use in source and binary forms, with or without 00011 // modification, are permitted provided that the following conditions are 00012 // met: 00013 // 00014 // 1. Redistributions of source code must retain the above copyright 00015 // notice, this list of conditions and the following disclaimer. 00016 // 00017 // 2. Redistributions in binary form must reproduce the above copyright 00018 // notice, this list of conditions and the following disclaimer in the 00019 // documentation and/or other materials provided with the distribution. 00020 // 00021 // 3. Neither the name of the Corporation nor the names of the 00022 // contributors may be used to endorse or promote products derived from 00023 // this software without specific prior written permission. 00024 // 00025 // THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY 00026 // EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 00027 // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 00028 // PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE 00029 // CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, 00030 // EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, 00031 // PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR 00032 // PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF 00033 // LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING 00034 // NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS 00035 // SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00036 // 00037 // Questions? Contact Kevin Long (kevin.long@ttu.edu) 00038 // 00039 00040 /* @HEADER@ */ 00041 00042 #ifndef SUNDANCE_SYMBOLICFUNC_H 00043 #define SUNDANCE_SYMBOLICFUNC_H 00044 00045 00046 #include "SundanceDefs.hpp" 00047 #include "SundanceListExpr.hpp" 00048 #include "SundanceSymbolicFuncDescriptor.hpp" 00049 #include "SundanceFunctionWithID.hpp" 00050 #include "SundanceDiscreteFuncElement.hpp" 00051 #include "SundanceDiscreteFunctionStub.hpp" 00052 00053 namespace Sundance 00054 { 00055 using namespace Sundance; 00056 using namespace Teuchos; 00057 00058 00059 /** 00060 * SymbolicFunc is a base class for functions such as test and unknown 00061 * functions that are "variables" in a weak form. Symbolic functions 00062 * cannot be evaluated directly; before evaluating a weak form, 00063 a value must be substituted for 00064 * each symbolic func using either the substituteZero() or 00065 * substituteFunction() method. 00066 * 00067 * A symbolic function will construct itself as a list of 00068 * SymbolicFuncElement objects that point back to the SymbolicFunction. 00069 */ 00070 class SymbolicFunc : public ListExpr, public SymbolicFuncDescriptor, 00071 public FunctionWithID 00072 { 00073 public: 00074 /** Ctor records common data but initializes list to empty */ 00075 SymbolicFunc(const FunctionWithID& fid, 00076 const RCP<const CommonFuncDataStub>& data); 00077 00078 /** virtual destructor */ 00079 virtual ~SymbolicFunc() {;} 00080 00081 /** Specify that expressions involving this function are to be evaluated 00082 * with this function set to zero. This is appropriate for computing 00083 * the functional derivatives that arise in a linear problem */ 00084 void substituteZero() const ; 00085 00086 /** Specify that expressions involving this function are to be evaluated 00087 * with this function set to the discrete function \f$u_0\f$. 00088 * This is appropriate for computing 00089 * the functional derivatives that arise in a nonlinear expression 00090 * being linearized about \f$u_0\f$. 00091 */ 00092 void substituteFunction(const RCP<DiscreteFunctionStub>& u0) const ; 00093 00094 /** */ 00095 const RCP<const CommonFuncDataStub>& commonData() const 00096 {return commonData_;} 00097 00098 00099 private: 00100 RCP<const CommonFuncDataStub> commonData_; 00101 00102 }; 00103 } 00104 00105 00106 #endif