Siena Simplification Library Documentation (v. 1.1.4) |
00001 // -*- C++ -*- 00002 // 00003 // This file is part of Siena, a wide-area event notification system. 00004 // See http://www.cs.colorado.edu/serl/siena/ 00005 // 00006 // Authors: See the file AUTHORS for full details. 00007 // 00008 // Copyright (C) 2002-2004 University of Colorado 00009 // 00010 // This program is free software; you can redistribute it and/or 00011 // modify it under the terms of the GNU General Public License 00012 // as published by the Free Software Foundation; either version 2 00013 // of the License, or (at your option) any later version. 00014 // 00015 // This program is distributed in the hope that it will be useful, 00016 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00017 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00018 // GNU General Public License for more details. 00019 // 00020 // You should have received a copy of the GNU General Public License 00021 // along with this program; if not, write to the Free Software 00022 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307, 00023 // USA, or send email to [email protected]. 00024 // 00025 // $Id: simplify.h,v 1.1 2004/01/05 17:25:27 carzanig Exp $ 00026 // 00027 #ifndef SIENA_SIMPLIFY_H 00028 #define SIENA_SIMPLIFY_H 00029 00030 #include "siena/types.h" 00031 00042 namespace siena 00043 { 00182 bool conflicting( const constraint& c1, const constraint& c2 ); 00183 00318 bool covers( const constraint& c1, const constraint& c2 ); 00319 00332 bool covers( const filter& f1, const filter& f2 ); 00333 00340 bool covers( const predicate& p1, const predicate& p2 ); 00341 }; 00342 00343 #endif
Copyright © 2001-2004 University of Colorado.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". This documentation is authored and maintained by Matthew J. Rutherford |