File name		Description
Xor_createParityConstraint_IVecInt_boolean_ILits		
Xor_learnt		
Xor_size		
Xor_get_int		
Xor_getActivity		
Xor_canBePropagatedMultipleTimes		
Xor_toString_VarMapper		
Xor_propagate_UnitPropagationListener_int		
Xor_propagatePI_MandatoryLiteralListener_int		
Xor_toConstraint		
Xor_remove_UnitPropagationListener		
Xor_simplify		
Xor_calcReason_int_IVecInt		
Xor_calcReasonOnTheFly_int_IVecInt_IVecInt		
Xor_incActivity_double		
Xor_forwardActivity_double		
Xor_locked		
Xor_setLearnt		
Xor_register		
Xor_rescaleBy_double		
Xor_setActivity_double		
Xor_assertConstraint_UnitPropagationListener		
Xor_assertConstraintIfNeeded_UnitPropagationListener		
Xor_canBeSatisfiedByCountingLiterals		
Xor_requiredNumberOfSatisfiedLiterals		
Xor_isSatisfied		
Xor_getAssertionLevel_IVecInt_int		
Xor_dump		
Xor_toString		
Xor_activate		Activates this Xor constraint.
Xor_deactivate		Deactivates (i.e., forgets) a constraint, as there is no easy way to use
		selectors with parity constraints.
