Opérations faisant intervenir des règles. More...
#include "cogitant/common.h"#include "cogitant/operation.h"#include "cogitant/projection.h"#include "cogitant/set.h"Classes | |
| class | cogitant::OpeRuleApplications |
| Calcul des applications possibles d'une règles sur un graphe. More... | |
| class | cogitant::OpeRuleApply |
| Application d'une règle sur un graphe. More... | |
| class | cogitant::OpeRuleIrredundantProjection |
| Test du caractère irredondant d'une application d'une règle sur un graphe. More... | |
| class | cogitant::OpeRulesClosure |
| Calcul d'une fermeture d'un graphe par un ensemble de règles. More... | |
Namespaces | |
| cogitant | |
| Espace de nom de toutes les classes et types de la plate-forme. | |
Opérations faisant intervenir des règles.
Déclaration des classes cogitant::OpeRuleApplications, cogitant::OpeRuleApply et cogitant::OpeRuleIrredundantProjection.