Search Java Classes and Packages
Search Java Frameworks and Libraries
#Org.uacalc.alg.conlat Classes and Interfaces - 10 results found.
Name | Description | Type | Package | Framework |
BasicBinaryRelation | | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
BasicPartition | This class implement the basic operations for partition on the set {0, 1, . | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
BinaryRelation | | Interface | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
CentralityData | This will hold two tolerance S and T, a congruence delta centraility, weak centrality, strong rectangularity: Q(S,T,delta), | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
CongruenceLattice | A class to represent the congruence lattice of a SmallAlgebra; this is, an algebra with universe | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
Partition | This interface specifies the basic operations for partitions on the set {0, 1, . | Interface | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
Partition .PrintType | Printing types: the internal representation. | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
Polymorphisms | Given a collections of partition on a set this calculates the polymorphisms of hte coollection. | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
Subtrace | A class to hold a subtrace {a, b} and its TCT type. | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
TypeFinder | A utility class to find a subtrace {a, b} and its TCT type of a covering beta/beta_* for some join irreducible congruence beta. | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |