org.uacalc.alg.conlat

Interfaces  BinaryRelation Partition

Classes  BasicBinaryRelation BasicPartition CentralityData CongruenceLattice Subtrace TypeFinder