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_SYMBOLICFUNCDESCRIPTOR_H 00032 #define SUNDANCE_SYMBOLICFUNCDESCRIPTOR_H 00033 00034 00035 #include "SundanceDefs.hpp" 00036 00037 namespace Sundance 00038 { 00039 /** 00040 * This is a base class for functions or elements that need to report 00041 * whether they're test or unknown functions. 00042 */ 00043 class SymbolicFuncDescriptor 00044 { 00045 public: 00046 00047 /** */ 00048 virtual bool isTestFunction() const {return false;} 00049 00050 /** */ 00051 virtual bool isUnknownFunction() const {return false;} 00052 00053 /** */ 00054 virtual bool isParameter() const {return false;} 00055 00056 private: 00057 }; 00058 00059 } 00060 00061 00062 #endif