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 |