Siena Simplification Library Documentation

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