Soprano
2.7.4
|
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