Algorithms Library Toolkit: relation Namespace Reference

Algorithms Library Toolkit

A toolkit for algorithms, especially for algorithms on formal languages

Data Structures
class	InducedEquivalence

class	IsReflexive

class	IsSymmetric

class	IsTransitive

class	RelationComplement