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

Packages that use Partial

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

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

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

Modifier and Type	Class	Description
class	Partial_1Large	A partial congruence having 1 large factor.
class	Partial_2Large	A partial congruence having 2 distinct large factors.
class	Partial_nLarge	A partial congruence having an arbitrary number of large factors.

Methods in de.tilman_neumann.jml.factor.base.congruence with parameters of type Partial

Modifier and Type	Method	Description
void	CycleFinder.countIndependentCycles(Partial partial)	Counts the number of independent cycles in the partial relations following [LM94], [LLDMW02].

Method parameters in de.tilman_neumann.jml.factor.base.congruence with type arguments of type Partial

Modifier and Type	Method	Description
protected Map<Long,Integer>	PartialSolver.createFactor2ColumnIndexMap(Map<Long,ArrayList<Partial>> factors_2_partials)	Create a map from factors appearing with odd exponent to matrix column indices.
protected void	PartialSolver.removeSingletons(List<Partial> congruences, Map<Long,ArrayList<Partial>> largeFactors_2_partials)	Remove singletons from congruences.
protected void	PartialSolver.removeSingletons(List<Partial> congruences, Map<Long,ArrayList<Partial>> largeFactors_2_partials)	Remove singletons from congruences.
ArrayList<Smooth>	PartialSolver.solve(Collection<? extends Partial> congruences)	Solve a partial congruence equation system.
protected void	PartialSolver.solve(List<Partial> congruences, Map<Long,Integer> factors_2_columnIndices)	Create the matrix from the pre-processed congruences and solve it.