00001 /*======================================================================= 00002 * Product : OpenPL 00003 * File : plTypedKernel.h 00004 * Author : Juan-Manuel Ahuactzin 00005 * Creation : Mon Feb 9 18:01:21 2004 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 _plTypedKernel_h_ 00019 #define _plTypedKernel_h_ 00020 00021 #include <plKernel.h> 00022 00023 class plTypedKernel : public plKernel 00024 { 00025 // Indicates that the type of the kernel variables have all ready 00026 // been set to a particular type. After the type is set it can not 00027 // be changed unless rename is called. 00028 bool typed; 00029 00030 public: 00031 00032 plTypedKernel(); 00033 00034 plTypedKernel(const plVariablesConjunction& variables); 00035 00037 virtual plTypedKernel& operator=(const plKernel& assigned_kernel); 00038 00039 }; 00040 00041 #endif
1.4.1