|
Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <IsTransitive.h>
Static Public Member Functions | |
| template<class T > | |
| static bool | isTransitive (const ext::set< ext::pair< T, T > > &relation) |
Computes the complement relation in given universe.
|
static |
Checks whether a relation is transitive.
| T | Type of the items in relation. |
| relation | the tested relation |