File name		Description
ParityConstraintGenerator_nbConstraints		Creates a new ParityConstraintGenerator.
ParityConstraintGenerator_generate_int		Generates {@code nb} parity constraints, and adds them to the solver. The
		constraints are all activated.
ParityConstraintGenerator_getConstraint_int		Gives the {@code i}-th parity constraint managed by this generator.
ParityConstraintGenerator_deactivate		Deactivates all the constraints that have been generated. They are
		<b>not</b> removed from the solver.
ParityConstraintGenerator_deactivate_int		Deactivates the first {@code nb} constraints that have been generated.
		They are <b>not</b> removed from the solver.
ParityConstraintGenerator_activate		Activates all the constraints that have been generated.
ParityConstraintGenerator_activate_int		Activates the first {@code nb} constraints that have been generated.
ParityConstraintGenerator_clear		Clears the generated constraints from the solver.
ApproxMC2_internalCountModels_int		Creates a new ApproxMC2.
ApproxMC2_logSatSearch_int_int		Performs a logarithmic search for the optimal number of parity
		constraints to consider.
ApproxMC2_boundedSAT_int_int		Counts up to {@code bound} models of the formula, after having added
		{@code nbConstraints} parity constraints to the solver.
ApproxMC2_reset		
SamplingSetAdapter_of_IVecInt		Creates a new SamplingSetAdapter.
SamplingSetAdapter_of_int...		Creates a new SamplingSetAdapter.
SamplingSetAdapter_nVars		
SamplingSetAdapter_variables		
ApproxMC_boundedSAT_int_int		Creates a new ApproxMC.
AllVariablesSamplingSet_of_ISolver		Creates a new AllVariablesSamplingSet.
AllVariablesSamplingSet_nVars		
AllVariablesSamplingSet_variables		
ModelCounterAdapter_newInstance_ISolver		Creates a new ModelCounterAdapter.
ModelCounterAdapter_newInstance_ISolver_long		Creates a new ModelCounterAdapter adapting the given solver.
ModelCounterAdapter_countModels_ISolver		Counts the models of the given solver. This method is designed for
		convenience, so as to avoid manipulating instances of
		{@link ModelCounterAdapter} if only one call is needed.
ModelCounterAdapter_countModels_ISolver_long		Counts up to {@code bound} models of the given solver. This is method is
		designed for convenience, so as to avoid manipulating instances of
		{@link ModelCounterAdapter} if only one call is needed.
ModelCounterAdapter_setBound_long		Sets the bound for the number of models to count. A {@code long} will
		always be sufficient, since counting each model one by one will never
		allow to overflow a {@code long}.
ModelCounterAdapter_countModels		
ModelCounterAdapter_reset		
AbstractApproxMC_countModels		Creates a new AbstractApproxMC.
AbstractApproxMC_computeThreshold		Computes the threshold to apply w.r.t. the tolerance wanted for the
		algorithm.
AbstractApproxMC_computeIterCount		Computes the number of approximations to make so as to get a number of
		models that is, with high probability, close to the real number of
		models.
AbstractApproxMC_internalCountModels_int		Counts an epsilon-approximate estimate of the model count of the
		underlying formula, by partitioning the space of all the models into
		"small" cells containing at most {@code threshold} models.
AbstractApproxMC_boundedSAT_int		Counts up to {@code bound} models of the current formula, by enumerating
		these models.
AbstractApproxMC_reset		
AbstractApproxMC_findMedian_IVec<BigInteger>		Computes the median of a vector of values.
