Soprano  2.7.6
/builddir/build/BUILD/soprano-2.7.6/soprano/inference/inferenceruleset.h
Go to the documentation of this file.
00001 /*
00002  * This file is part of Soprano Project.
00003  *
00004  * Copyright (C) 2007 Sebastian Trueg <trueg@kde.org>
00005  *
00006  * This library is free software; you can redistribute it and/or
00007  * modify it under the terms of the GNU Library General Public
00008  * License as published by the Free Software Foundation; either
00009  * version 2 of the License, or (at your option) any later version.
00010  *
00011  * This library is distributed in the hope that it will be useful,
00012  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00013  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00014  * Library General Public License for more details.
00015  *
00016  * You should have received a copy of the GNU Library General Public License
00017  * along with this library; see the file COPYING.LIB.  If not, write to
00018  * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
00019  * Boston, MA 02110-1301, USA.
00020  */
00021 
00022 #ifndef _INFERENCE_RULESET_H_
00023 #define _INFERENCE_RULESET_H_
00024 
00025 #include "soprano_export.h"
00026 
00027 #include <QtCore/QSharedDataPointer>
00028 #include <QtCore/QStringList>
00029 
00030 
00031 namespace Soprano {
00032     namespace Inference {
00033 
00037         enum StandardRuleSet {
00038             RDFS,  
00039             NRL    
00040         };
00041 
00042         class Rule;
00043 
00054         class SOPRANO_EXPORT RuleSet
00055         {
00056         public:
00060             RuleSet();
00061         
00065             RuleSet( const RuleSet& );
00066 
00070             ~RuleSet();
00071 
00072             RuleSet& operator=( const RuleSet& );
00073 
00074             void clear();
00075 
00083             void insert( const QString& name, const Rule& rule );
00084 
00089             int count() const;
00090 
00091             Rule at( int index ) const;
00092             Rule operator[]( int index ) const;
00093 
00094             Rule rule( const QString& name ) const;
00095             Rule operator[]( const QString& name ) const;
00096 
00097             QStringList ruleNames() const;
00098 
00099             QList<Rule> allRules() const;
00100 
00106             static RuleSet standardRuleSet( StandardRuleSet );
00107 
00108         private:
00109             class Private;
00110             QSharedDataPointer<Private> d;
00111         };
00112     }
00113 }
00114 
00115 #endif