Uses of Class
de.tilman_neumann.jml.factor.base.congruence.CongruenceCollector

Packages that use CongruenceCollector

Package	Description
de.tilman_neumann.jml.factor.base.congruence

Uses of CongruenceCollector in de.tilman_neumann.jml.factor.base.congruence

Subclasses of CongruenceCollector in de.tilman_neumann.jml.factor.base.congruence

Modifier and Type	Class	Description
class	CongruenceCollectorParallel	Collects smooth and partial congruences, and assembles partials to smooth congruences on-the-fly.