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