blob: 67088dd4c8acd949438478e0f913dc23130ab7da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
#if ! defined _closure_h
#define _closure_h
#include <omega/Relation.h>
namespace omega {
Relation VennDiagramForm(
Tuple<Relation> &Rs,
NOT_CONST Relation &Context_In);
Relation VennDiagramForm(
NOT_CONST Relation &R_In,
NOT_CONST Relation &Context_In = Relation::Null());
// Given a Relation R, returns a relation deltas
// that correspond to the ConicHull of the detlas of R
Relation ConicClosure (NOT_CONST Relation &R);
Relation TransitiveClosure (NOT_CONST Relation &r,
int maxExpansion = 1,
NOT_CONST Relation &IterationSpace=Relation::Null());
/* Tomasz Klimek */
Relation calculateTransitiveClosure(NOT_CONST Relation &r);
/* Tomasz Klimek */
Relation ApproxClosure(NOT_CONST Relation &r);
} // namespace
#endif
|
