00001 /*============================================================================= 00002 * Product : OpenPL 00003 * File : plCndUnknown.h (before plConditionalUnknown.h) 00004 * Author : Emmanuel Mazer 00005 * Creation : July 6 :08:40 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 #ifndef _plCndUnknown_h_ 00019 #define _plCndUnknown_h_ 00020 00021 #include <plCndKernel.h> 00022 #include <plKernel.h> 00023 00024 /***************************************************************************** 00025 * Classes Definitions 00026 *****************************************************************************/ 00027 00028 00031 class plCndUnknown : public plCndKernel 00032 { 00034 plCndUnknown(); 00035 00036 public: 00056 plCndUnknown(const plVariablesConjunction& left, 00057 const plVariablesConjunction& right); 00058 00060 virtual ~plCndUnknown(){}; 00061 00062 }; 00063 00064 #endif 00065 00066 00067 00068