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 |