File name		Description
QuickXplainStrategy_cancelExplanationComputation		
QuickXplainStrategy_explain_ISolver_Map<Integer_?>_IVecInt		
QuickXplainStrategy_computeExplanation_ISolver_Map<Integer_?>_IVecInt_int_int_IVecInt		
QuickXplainStrategy_toString		
DeletionStrategy_cancelExplanationComputation		
DeletionStrategy_explain_ISolver_Map<Integer_?>_IVecInt		
DeletionStrategy_toString		
InsertionStrategy_cancelExplanationComputation		
InsertionStrategy_explain_ISolver_Map<Integer_?>_IVecInt		
InsertionStrategy_toString		
QuickXplain2001Strategy_cancelExplanationComputation		
QuickXplain2001Strategy_explain_ISolver_Map<Integer_?>_IVecInt		
QuickXplain2001Strategy_computeExplanation_ISolver_IVecInt_int_int_IVecInt		
QuickXplain2001Strategy_toString		
Xplain_addExactly_IVecInt_int		
Xplain_addAtLeast_IVecInt_int		
Xplain_addAtMost_IVecInt_int		
Xplain_explanationKeys		
Xplain_minimalExplanation		Provide an explanation of the inconsistency in terms of a subset minimal
		set of constraints, each constraint being referred to as its index
		(order) in the solver: first constraint is numbered 1, the second 2, etc.
Xplain_explain		Provide an explanation of the inconsistency in term of a subset minimal
		set of constraints. Compared to {@link #minimalExplanation()}, the method
		returns a reference to the constraint object, instead of an index.
		
		@since 2.1
Xplain_cancelExplanation		
Xplain_findModel		
Xplain_findModel_IVecInt		
Xplain_isSatisfiable		
Xplain_isSatisfiable_boolean		
Xplain_isSatisfiable_IVecInt		
Xplain_isSatisfiable_IVecInt_boolean		
Xplain_toString_String		
Xplain_setMinimizationStrategy_MinimizationStrategy		
Xplain_removeConstr_IConstr		
Xplain_removeSubsumedConstr_IConstr		
HighLevelXplain_addAtLeast_IVecInt_int		
HighLevelXplain_addAtMost_IVecInt_int		
HighLevelXplain_explanationKeys		
HighLevelXplain_minimalExplanation		
HighLevelXplain_explain		
HighLevelXplain_cancelExplanation		
HighLevelXplain_findModel		
HighLevelXplain_findModel_IVecInt		
HighLevelXplain_isSatisfiable		
HighLevelXplain_isSatisfiable_boolean		
HighLevelXplain_isSatisfiable_IVecInt		
HighLevelXplain_isSatisfiable_IVecInt_boolean		
HighLevelXplain_toString_String		
HighLevelXplain_setMinimizationStrategy_MinimizationStrategy		
