00001 /*============================================================================= 00002 * Product : OpenPL 00003 * File : plDirac.h 00004 * Author : Juan-Manuel Ahuactzin 00005 * Creation : Thu May 31 09:24:41 2001 00006 * 00007 *============================================================================= 00008 * (c) Copyright 2000, Centre National de la Recherche Scientifique, 00009 * all rights reserved 00010 *============================================================================= 00011 * 00012 *------------------------- Description --------------------------------------- 00013 * 00014 * 00015 *----------------------------------------------------------------------------- 00016 */ 00017 00018 00019 #ifndef _plDirac_h_ 00020 #define _plDirac_h_ 00021 00022 00023 #include <plKernel.h> 00024 #include <plVariablesConjunction.h> 00025 #include <plValues.h> 00026 00027 00028 /***************************************************************************** 00029 * Classes Definitions 00030 *****************************************************************************/ 00031 00032 00033 00037 class plDirac : public plKernel { 00038 00039 00040 public: 00042 plDirac(const plVariablesConjunction& variables, const plValues& values); 00043 00045 virtual ~plDirac(){}; 00046 00047 00048 }; 00049 00050 00051 #endif