File name		Description
VecInt_shrink_int		Adapter method to translate an array of int into an IVecInt.
		
		The array is used inside the VecInt, so the elements may be modified
		outside the VecInt. But it should not take much memory.The size of the
		created VecInt is the length of the array.
VecInt_shrinkTo_int		
VecInt_pop		depile le dernier element du vecteur. Si le vecteur est vide, ne fait
		rien.
VecInt_growTo_int_int		
VecInt_ensure_int		
VecInt_push_int		
VecInt_unsafePush_int		
VecInt_clear		
VecInt_last		
VecInt_get_int		
VecInt_unsafeGet_int		
VecInt_set_int_int		
VecInt_contains_int		
VecInt_indexOf_int		
VecInt_containsAt_int		
VecInt_containsAt_int_int		
VecInt_copyTo_IVecInt		Copy the content of this vector into another one. Uses Java
		{@link System#arraycopy(Object, int, Object, int, int)} to make the copy.
VecInt_copyTo_int[]		Copy the content of this vector into an array of integer. Uses Java
		{@link System#arraycopy(Object, int, Object, int, int)} to make the copy.
VecInt_moveTo_IVecInt		
VecInt_moveTo2_IVecInt		
VecInt_moveTo_int_int		
VecInt_moveTo_int[]		
VecInt_moveTo_int_int[]		
VecInt_insertFirst_int		Insert an element at the very beginning of the vector. The former first
		element is appended to the end of the vector in order to have a constant
		time operation.
VecInt_remove_int		Remove an element that belongs to the Vector. The method will break if
		the element does not belong to the vector.
VecInt_delete_int		Delete the ith element of the vector. The latest element of the vector
		replaces the removed element at the ith indexer.
VecInt_toString		
VecInt_selectionSort_int_int		
VecInt_sort_int_int		
VecInt_sort		sort the vector using a custom quicksort.
VecInt_sortUnique		
VecInt_equals_Object		Two vectors are equals iff they have the very same elements in the order.
VecInt_hashCode		
VecInt_pushAll_IVecInt		
VecInt_isSubsetOf_VecInt		to detect that the vector is a subset of another one. Note that the
		method assumes that the two vectors are sorted!
VecInt_iterator		
VecInt_isEmpty		
VecInt_toArray		
VecInt_subset_int		
VecInt_selectionSort_int_int_Comparator<Integer>		
VecInt_sort_int_int_Comparator<Integer>		
VecInt_sort_Comparator<Integer>		Sort the vector according to a given order.
VecInt_clone		
VecInt_of_int...		Alternative way to create a vector, the Java 9+ way.
VecInt_of_Collection<Integer>		Alternative way to create a vector, the Java 9+ way, from a standard Java
		collection.
Vec_shrink_int		Create a Vector with an initial capacity of 5 elements.
Vec_shrinkTo_int		reduce the Vector to exactly newsize elements
Vec_pop		Pop the last element on the stack. It is assumed that the stack is not
		empty!
Vec_growTo_int_T		
Vec_ensure_int		
Vec_push_T		
Vec_unsafePush_T		
Vec_insertFirst_T		Insert an element at the very beginning of the vector. The former first
		element is appended to the end of the vector in order to have a constant
		time operation.
Vec_insertFirstWithShifting_T		
Vec_clear		
Vec_last		return the latest element on the stack. It is assumed that the stack is
		not empty!
Vec_get_int		
Vec_set_int_T		
Vec_remove_T		Remove an element that belongs to the Vector.
Vec_removeFromLast_T		Remove an element that belongs to the Vector. The method will break if
		the element does not belong to the vector. While {@link #remove(T)} look
		from the beginning of the vector, this method starts from the end of the
		vector.
Vec_delete_int		Delete the ith element of the vector. The latest element of the vector
		replaces the removed element at the ith indexer.
Vec_copyTo_IVec<T>		Copy the content of the vector to another vector.
		
		THIS METHOD IS NOT SPECIALLY EFFICIENT. USE WITH CAUTION.
Vec_copyTo_E[]		Copy the content of the vector to an array.
		
		THIS METHOD IS NOT SPECIALLY EFFICIENT. USE WITH CAUTION.
Vec_moveTo_IVec<T>		
Vec_moveTo_int_int		
Vec_toArray		
Vec_toString		
Vec_selectionSort_int_int_Comparator<T>		
Vec_sort_int_int_Comparator<T>		
Vec_sort_Comparator<T>		Sort the vector according to a given order on the elements.
Vec_sortUnique_Comparator<T>		
Vec_equals_Object		
Vec_hashCode		
Vec_iterator		
Vec_isEmpty		
Vec_contains_T		
Vec_indexOf_T		
Vec_clone		
Vec_of_U...		Alternative way to create a vector, the Java 9+ way.
Vec_of_Collection<U>		Alternative way to create a vector, the Java 9+ way, from a standard Java
		collection.
ReadOnlyVec_clear		
ReadOnlyVec_copyTo_IVec<T>		
ReadOnlyVec_copyTo_E[]		
ReadOnlyVec_delete_int		
ReadOnlyVec_ensure_int		
ReadOnlyVec_get_int		
ReadOnlyVec_growTo_int_T		
ReadOnlyVec_insertFirst_T		
ReadOnlyVec_insertFirstWithShifting_T		
ReadOnlyVec_isEmpty		
ReadOnlyVec_iterator		
ReadOnlyVec_last		
ReadOnlyVec_moveTo_IVec<T>		
ReadOnlyVec_moveTo_int_int		
ReadOnlyVec_pop		
ReadOnlyVec_push_T		
ReadOnlyVec_remove_T		
ReadOnlyVec_removeFromLast_T		
ReadOnlyVec_set_int_T		
ReadOnlyVec_shrink_int		
ReadOnlyVec_shrinkTo_int		
ReadOnlyVec_size		
ReadOnlyVec_sort_Comparator<T>		
ReadOnlyVec_sortUnique_Comparator<T>		
ReadOnlyVec_toArray		
ReadOnlyVec_unsafePush_T		
ReadOnlyVec_contains_T		
ReadOnlyVec_indexOf_T		
ReadOnlyVec_toString		
ReadOnlyVec_hashCode		
ReadOnlyVec_equals_Object		
ReadOnlyVec_clone		
EmptyVecInt_size		
EmptyVecInt_shrink_int		
EmptyVecInt_shrinkTo_int		
EmptyVecInt_pop		
EmptyVecInt_growTo_int_int		
EmptyVecInt_ensure_int		
EmptyVecInt_push_int		
EmptyVecInt_unsafePush_int		
EmptyVecInt_clear		
EmptyVecInt_last		
EmptyVecInt_get_int		
EmptyVecInt_set_int_int		
EmptyVecInt_contains_int		
EmptyVecInt_copyTo_IVecInt		
EmptyVecInt_copyTo_int[]		
EmptyVecInt_moveTo_IVecInt		
EmptyVecInt_moveTo2_IVecInt		
EmptyVecInt_moveTo_int[]		
EmptyVecInt_insertFirst_int		
EmptyVecInt_remove_int		
EmptyVecInt_delete_int		
EmptyVecInt_sort		
EmptyVecInt_sortUnique		
EmptyVecInt_unsafeGet_int		
EmptyVecInt_containsAt_int		
EmptyVecInt_containsAt_int_int		
EmptyVecInt_moveTo_int_int		
EmptyVecInt_isEmpty		
EmptyVecInt_iterator		
EmptyVecInt_toArray		
EmptyVecInt_indexOf_int		
EmptyVecInt_toString		
EmptyVecInt_moveTo_int_int[]		
EmptyVecInt_subset_int		
EmptyVecInt_equals_Object		
EmptyVecInt_hashCode		
EmptyVecInt_sort_Comparator<Integer>		
EmptyVecInt_clone		
LiteralsUtils_var_int		Returns the variable associated to the literal
LiteralsUtils_neg_int		Returns the opposite literal.
LiteralsUtils_posLit_int		Returns the positive literal associated with a variable.
LiteralsUtils_negLit_int		Returns the negative literal associated with a variable.
LiteralsUtils_toDimacs_int		decode the internal representation of a literal in internal
		representation into Dimacs format.
LiteralsUtils_toInternal_int		encode the classical Dimacs representation (negated integers for negated
		literals) into the internal format.
LiteralsUtils_toOPB_int		decode the internal representation in an OPB-like representation.
		
		Note that we use the literal representation (~xi) which may not be
		supoorted by all OPB solvers.
ReadOnlyVecInt_clear		
ReadOnlyVecInt_contains_int		
ReadOnlyVecInt_containsAt_int		
ReadOnlyVecInt_containsAt_int_int		
ReadOnlyVecInt_copyTo_IVecInt		
ReadOnlyVecInt_copyTo_int[]		
ReadOnlyVecInt_delete_int		
ReadOnlyVecInt_ensure_int		
ReadOnlyVecInt_get_int		
ReadOnlyVecInt_growTo_int_int		
ReadOnlyVecInt_insertFirst_int		
ReadOnlyVecInt_isEmpty		
ReadOnlyVecInt_iterator		
ReadOnlyVecInt_last		
ReadOnlyVecInt_moveTo_IVecInt		
ReadOnlyVecInt_moveTo_int[]		
ReadOnlyVecInt_moveTo_int_int		
ReadOnlyVecInt_moveTo2_IVecInt		
ReadOnlyVecInt_pop		
ReadOnlyVecInt_push_int		
ReadOnlyVecInt_remove_int		
ReadOnlyVecInt_set_int_int		
ReadOnlyVecInt_shrink_int		
ReadOnlyVecInt_shrinkTo_int		
ReadOnlyVecInt_size		
ReadOnlyVecInt_sort		
ReadOnlyVecInt_sortUnique		
ReadOnlyVecInt_unsafeGet_int		
ReadOnlyVecInt_unsafePush_int		
ReadOnlyVecInt_toArray		
ReadOnlyVecInt_indexOf_int		
ReadOnlyVecInt_toString		
ReadOnlyVecInt_moveTo_int_int[]		
ReadOnlyVecInt_subset_int		
ReadOnlyVecInt_hashCode		
ReadOnlyVecInt_equals_Object		
ReadOnlyVecInt_sort_Comparator<Integer>		
ReadOnlyVecInt_clone		
ConstrGroup_add_IConstr		
ConstrGroup_clear		
ConstrGroup_removeFrom_ISolver		
ConstrGroup_getConstr_int		
ConstrGroup_size		
ConstrGroup_learnt		
ConstrGroup_getActivity		
ConstrGroup_get_int		
ConstrGroup_canBePropagatedMultipleTimes		
ConstrGroup_toString		
ConstrGroup_toString_VarMapper		
ConstrGroup_dump		
DefaultComparator_compare_A_A		
ASolverFactory_solverNames		This methods returns names of solvers to be used with the method
		getSolverByName().
ASolverFactory_createSolverByName_String		create a solver from its String name. the solvername Xxxx must map one of
		the newXxxx methods.
ASolverFactory_defaultSolver		To obtain the default solver of the library. The solver is suitable to
		solve huge SAT benchmarks. It should reflect state-of-the-art SAT
		technologies.
		
		For solving small/easy SAT benchmarks, use lightSolver() instead.
ASolverFactory_lightSolver		To obtain a solver that is suitable for solving many small instances of
		SAT problems.
		
		The solver is not using sophisticated but costly reasoning and avoids to
		allocate too much memory.
		
		For solving bigger SAT benchmarks, use defaultSolver() instead.
