File name		Description
MaxWatchCard_calcReason_int_IVecInt		Build a new constraint.
MaxWatchCard_getActivity		Obtenir la valeur de l'activit? de la contrainte
MaxWatchCard_incActivity_double		Incr?mente la valeur de l'activit? de la contrainte
MaxWatchCard_setActivity_double		
MaxWatchCard_learnt		D?termine si la contrainte est apprise
MaxWatchCard_locked		La contrainte est la cause d'une propagation unitaire
MaxWatchCard_maxWatchCardNew_UnitPropagationListener_ILits_IVecInt_boolean_int		Permet la cr?ation de contrainte de cardinalit? ? observation minimale
MaxWatchCard_normalize		On normalise la contrainte au sens de Barth
MaxWatchCard_propagate_UnitPropagationListener_int		Propagation de la valeur de v?rit? d'un litt?ral falsifi?
MaxWatchCard_remove_UnitPropagationListener		
MaxWatchCard_rescaleBy_double		Permet le r??chantillonage de l'activit? de la contrainte
MaxWatchCard_simplify		Simplifie la contrainte(l'all?ge)
MaxWatchCard_toString		Cha?ne repr?sentant la contrainte
MaxWatchCard_undo_int		M?thode appel?e lors du backtrack
MaxWatchCard_setLearnt		
MaxWatchCard_register		
MaxWatchCard_size		
MaxWatchCard_get_int		
MaxWatchCard_assertConstraint_UnitPropagationListener		
MaxWatchCard_assertConstraintIfNeeded_UnitPropagationListener		
MaxWatchCard_getCoef_int		
MaxWatchCard_getDegree		
MaxWatchCard_getVocabulary		
MaxWatchCard_forwardActivity_double		
MaxWatchCard_canBePropagatedMultipleTimes		
MaxWatchCard_toConstraint		
MaxWatchCard_calcReasonOnTheFly_int_IVecInt_IVecInt		
MaxWatchCard_propagatePI_MandatoryLiteralListener_int		
MaxWatchCard_canBeSatisfiedByCountingLiterals		
MaxWatchCard_requiredNumberOfSatisfiedLiterals		
MaxWatchCard_isSatisfied		
MaxWatchCard_getAssertionLevel_IVecInt_int		
MaxWatchCard_toString_VarMapper		
MaxWatchCard_dump		
MinWatchCard_calcReason_int_IVecInt		Constructs and normalizes a cardinality constraint. used by
		minWatchCardNew in the non-normalized case.
MinWatchCard_getActivity		Returns the activity of the constraint
MinWatchCard_incActivity_double		Increments activity of the constraint
MinWatchCard_setActivity_double		
MinWatchCard_learnt		Returns wether the constraint is learnt or not.
MinWatchCard_linearisation_ILits_IVecInt		Simplifies the constraint w.r.t. the assignments of the literals
MinWatchCard_locked		Returns if the constraint is the reason for a unit propagation.
MinWatchCard_minWatchCardNew_UnitPropagationListener_ILits_IVecInt_boolean_int		Constructs a cardinality constraint with a minimal set of watched
		literals Permet la cr?ation de contrainte de cardinalit? ? observation
		minimale
MinWatchCard_normalize		normalize the constraint (cf. P.Barth normalization)
MinWatchCard_propagate_UnitPropagationListener_int		propagates the value of a falsified literal
MinWatchCard_remove_UnitPropagationListener		Removes a constraint from the solver
		
		@since 2.1
MinWatchCard_rescaleBy_double		Rescales the activity value of the constraint
MinWatchCard_simplify		simplifies the constraint
MinWatchCard_toString		Returns a string representation of the constraint.
MinWatchCard_undo_int		Updates information on the constraint in case of a backtrack
MinWatchCard_setLearnt		
MinWatchCard_register		
MinWatchCard_size		
MinWatchCard_get_int		
MinWatchCard_assertConstraint_UnitPropagationListener		
MinWatchCard_assertConstraintIfNeeded_UnitPropagationListener		
MinWatchCard_computeWatches		
MinWatchCard_computePropagation_UnitPropagationListener		
MinWatchCard_getLits		
MinWatchCard_getVocabulary		
MinWatchCard_equals_Object		
MinWatchCard_hashCode		
MinWatchCard_forwardActivity_double		
MinWatchCard_canBePropagatedMultipleTimes		
MinWatchCard_toConstraint		
MinWatchCard_calcReasonOnTheFly_int_IVecInt_IVecInt		
MinWatchCard_propagatePI_MandatoryLiteralListener_int		
MinWatchCard_canBeSatisfiedByCountingLiterals		
MinWatchCard_requiredNumberOfSatisfiedLiterals		
MinWatchCard_isSatisfied		
MinWatchCard_getAssertionLevel_IVecInt_int		
MinWatchCard_toString_VarMapper		
MinWatchCard_dump		
AtLeast_atLeastNew_UnitPropagationListener_ILits_IVecInt_int		
AtLeast_remove_UnitPropagationListener		
AtLeast_propagate_UnitPropagationListener_int		
AtLeast_simplify		
AtLeast_undo_int		
AtLeast_calcReason_int_IVecInt		
AtLeast_learnt		
AtLeast_getActivity		
AtLeast_setActivity_double		
AtLeast_incActivity_double		
AtLeast_locked		
AtLeast_setLearnt		
AtLeast_register		
AtLeast_size		
AtLeast_get_int		
AtLeast_rescaleBy_double		
AtLeast_assertConstraint_UnitPropagationListener		
AtLeast_assertConstraintIfNeeded_UnitPropagationListener		
AtLeast_toString		Textual representation of the constraint
AtLeast_forwardActivity_double		
AtLeast_canBePropagatedMultipleTimes		
AtLeast_toConstraint		
AtLeast_calcReasonOnTheFly_int_IVecInt_IVecInt		
AtLeast_propagatePI_MandatoryLiteralListener_int		
AtLeast_canBeSatisfiedByCountingLiterals		
AtLeast_requiredNumberOfSatisfiedLiterals		
AtLeast_isSatisfied		
AtLeast_getAssertionLevel_IVecInt_int		
AtLeast_toString_VarMapper		
AtLeast_dump		
