File name		Description
LearntWLClause_register		
LearntWLClause_learnt		
LearntWLClause_setLearnt		
LearntWLClause_forwardActivity_double		
LearntWLClause_incActivity_double		
LearntWLClause_propagatePI_MandatoryLiteralListener_int		
UnitClauses_assertConstraint_UnitPropagationListener		
UnitClauses_assertConstraintIfNeeded_UnitPropagationListener		
UnitClauses_calcReason_int_IVecInt		
UnitClauses_getActivity		
UnitClauses_incActivity_double		
UnitClauses_setActivity_double		
UnitClauses_locked		
UnitClauses_register		
UnitClauses_remove_UnitPropagationListener		
UnitClauses_rescaleBy_double		
UnitClauses_setLearnt		
UnitClauses_simplify		
UnitClauses_propagate_UnitPropagationListener_int		
UnitClauses_get_int		
UnitClauses_learnt		
UnitClauses_size		
UnitClauses_forwardActivity_double		
UnitClauses_canBePropagatedMultipleTimes		
UnitClauses_calcReasonOnTheFly_int_IVecInt_IVecInt		
UnitClauses_propagatePi_MandatoryLiteralListener		
UnitClauses_canBeSatisfiedByCountingLiterals		
UnitClauses_requiredNumberOfSatisfiedLiterals		
UnitClauses_isSatisfied		
UnitClauses_getAssertionLevel_IVecInt_int		
UnitClauses_toString_VarMapper		
UnitClauses_dump		
WLClause_remove_UnitPropagationListener		Creates a new basic clause
WLClause_simplify		
WLClause_propagate_UnitPropagationListener_int		
WLClause_locked		
WLClause_getActivity		
WLClause_setActivity_double		
WLClause_toString		
WLClause_toString_VarMapper		
WLClause_get_int		Retourne le ieme literal de la clause. Attention, cet ordre change durant
		la recherche.
WLClause_rescaleBy_double		
WLClause_size		
WLClause_assertConstraint_UnitPropagationListener		
WLClause_assertConstraintIfNeeded_UnitPropagationListener		
WLClause_getVocabulary		
WLClause_getLits		
WLClause_equals_Object		
WLClause_hashCode		
WLClause_canBePropagatedMultipleTimes		
WLClause_toConstraint		
WLClause_calcReasonOnTheFly_int_IVecInt_IVecInt		
WLClause_canBeSatisfiedByCountingLiterals		
WLClause_requiredNumberOfSatisfiedLiterals		
WLClause_isSatisfied		
WLClause_getAssertionLevel_IVecInt_int		
WLClause_dump		
BinaryClauses_addBinaryClause_int		
BinaryClauses_removeBinaryClause_int		
BinaryClauses_remove		
BinaryClauses_propagate_UnitPropagationListener_int		
BinaryClauses_simplify		
BinaryClauses_undo_int		
BinaryClauses_calcReason_int_IVecInt		
BinaryClauses_learnt		
BinaryClauses_incActivity_double		
BinaryClauses_getActivity		
BinaryClauses_locked		
BinaryClauses_setLearnt		
BinaryClauses_register		
BinaryClauses_rescaleBy_double		
BinaryClauses_size		
BinaryClauses_get_int		
BinaryClauses_assertConstraint_UnitPropagationListener		
BinaryClauses_canBePropagatedMultipleTimes		
BinaryClauses_toString_VarMapper		
BinaryClauses_propagatePI_MandatoryLiteralListener_int		
BinaryClauses_toConstraint		
BinaryClauses_remove_UnitPropagationListener		
BinaryClauses_calcReasonOnTheFly_int_IVecInt_IVecInt		
BinaryClauses_forwardActivity_double		
BinaryClauses_setActivity_double		
BinaryClauses_assertConstraintIfNeeded_UnitPropagationListener		
BinaryClauses_canBeSatisfiedByCountingLiterals		
BinaryClauses_requiredNumberOfSatisfiedLiterals		
BinaryClauses_isSatisfied		
BinaryClauses_getAssertionLevel_IVecInt_int		
BinaryClauses_dump		
CBClause_brandNewClause_UnitPropagationListener_ILits_IVecInt		
CBClause_remove		
CBClause_propagate_UnitPropagationListener_int		
CBClause_simplify		
CBClause_undo_int		
CBClause_calcReason_int_IVecInt		
CBClause_learnt		
CBClause_incActivity_double		
CBClause_getActivity		
CBClause_locked		
CBClause_setLearnt		
CBClause_register		
CBClause_rescaleBy_double		
CBClause_size		
CBClause_get_int		
CBClause_assertConstraint_UnitPropagationListener		
CBClause_toString		
CBClause_canBePropagatedMultipleTimes		
CBClause_toString_VarMapper		
CBClause_remove_UnitPropagationListener		
CBClause_calcReasonOnTheFly_int_IVecInt_IVecInt		
CBClause_forwardActivity_double		
CBClause_setActivity_double		
CBClause_assertConstraintIfNeeded_UnitPropagationListener		
CBClause_canBeSatisfiedByCountingLiterals		
CBClause_requiredNumberOfSatisfiedLiterals		
CBClause_isSatisfied		
CBClause_getAssertionLevel_IVecInt_int		
CBClause_propagatePI_MandatoryLiteralListener_int		
CBClause_toConstraint		
CBClause_dump		
OriginalWLClause_register		
OriginalWLClause_learnt		
OriginalWLClause_setLearnt		
OriginalWLClause_brandNewClause_UnitPropagationListener_ILits_IVecInt		Creates a brand new clause, presumably from external data.
OriginalWLClause_forwardActivity_double		
OriginalWLClause_incActivity_double		
OriginalWLClause_propagatePI_MandatoryLiteralListener_int		
OriginalWLClause_propagate_UnitPropagationListener_int		
HTClause_getActivity		Creates a new basic clause
HTClause_toString		
HTClause_get_int		Return the ith literal of the clause. Note that the order of the literals
		does change during the search...
HTClause_rescaleBy_double		
HTClause_size		
HTClause_assertConstraint_UnitPropagationListener		
HTClause_assertConstraintIfNeeded_UnitPropagationListener		
HTClause_getVocabulary		
HTClause_getLits		
HTClause_equals_Object		
HTClause_hashCode		
HTClause_canBePropagatedMultipleTimes		
HTClause_toConstraint		
HTClause_calcReasonOnTheFly_int_IVecInt_IVecInt		
HTClause_canBeSatisfiedByCountingLiterals		
HTClause_requiredNumberOfSatisfiedLiterals		
HTClause_isSatisfied		
HTClause_getAssertionLevel_IVecInt_int		
HTClause_toString_VarMapper		
HTClause_dump		
UnitClause_assertConstraint_UnitPropagationListener		
UnitClause_assertConstraintIfNeeded_UnitPropagationListener		
UnitClause_calcReason_int_IVecInt		
UnitClause_getActivity		
UnitClause_incActivity_double		
UnitClause_setActivity_double		
UnitClause_locked		
UnitClause_register		
UnitClause_remove_UnitPropagationListener		
UnitClause_rescaleBy_double		
UnitClause_setLearnt		
UnitClause_simplify		
UnitClause_propagate_UnitPropagationListener_int		
UnitClause_get_int		
UnitClause_learnt		
UnitClause_size		
UnitClause_forwardActivity_double		
UnitClause_toString		
UnitClause_canBePropagatedMultipleTimes		
UnitClause_calcReasonOnTheFly_int_IVecInt_IVecInt		
UnitClause_propagatePi_MandatoryLiteralListener		
UnitClause_canBeSatisfiedByCountingLiterals		
UnitClause_requiredNumberOfSatisfiedLiterals		
UnitClause_isSatisfied		
UnitClause_getAssertionLevel_IVecInt_int		
UnitClause_toString_VarMapper		
UnitClause_dump		
OriginalBinaryClause_setLearnt		
OriginalBinaryClause_learnt		
OriginalBinaryClause_brandNewClause_UnitPropagationListener_ILits_IVecInt		Creates a brand new clause, presumably from external data.
OriginalBinaryClause_forwardActivity_double		
OriginalBinaryClause_incActivity_double		
OriginalBinaryClause_setActivity_double		
OriginalHTClause_register		
OriginalHTClause_learnt		
OriginalHTClause_setLearnt		
OriginalHTClause_brandNewClause_UnitPropagationListener_ILits_IVecInt		Creates a brand new clause, presumably from external data.
OriginalHTClause_forwardActivity_double		
OriginalHTClause_incActivity_double		
OriginalHTClause_setActivity_double		
OriginalHTClause_propagatePI_MandatoryLiteralListener_int		
OriginalHTClause_propagate_UnitPropagationListener_int		
LearntHTClause_register		
LearntHTClause_learnt		
LearntHTClause_setLearnt		
LearntHTClause_forwardActivity_double		
LearntHTClause_incActivity_double		
LearntHTClause_setActivity_double		
LearntHTClause_propagatePI_MandatoryLiteralListener_int		
Lits_init_int		
Lits_getFromPool_int		
Lits_belongsToPool_int		
Lits_resetPool		
Lits_ensurePool_int		
Lits_unassign_int		
Lits_satisfies_int		
Lits_forgets_int		
Lits_isSatisfied_int		
Lits_isFalsified_int		
Lits_isUnassigned_int		
Lits_valueToString_int		
Lits_nVars		
Lits_not_int		
Lits_toString_int		
Lits_toStringX_int		
Lits_reset_int		
Lits_getLevel_int		
Lits_setLevel_int_int		
Lits_getReason_int		
Lits_setReason_int_Constr		
Lits_undos_int		
Lits_watch_int_Propagatable		
Lits_watches_int		
Lits_isImplied_int		
Lits_realnVars		
Lits_capacity		To get the capacity of the current vocabulary.
Lits_nextFreeVarId_boolean		
Lits_setTrailPosition_int_int		
Lits_getTrailPosition_int		
LearntBinaryClause_setLearnt		
LearntBinaryClause_learnt		
LearntBinaryClause_forwardActivity_double		
LearntBinaryClause_incActivity_double		
LearntBinaryClause_setActivity_double		
Clauses_sanityCheck_IVecInt_ILits_UnitPropagationListener		Perform some sanity check before constructing a clause a) if a literal is
		assigned true, return null (the clause is satisfied) b) if a literal is
		assigned false, remove it c) if a clause contains a literal and its
		opposite (tautology) return null d) remove duplicate literals e) if the
		clause is empty, return null f) if the clause if unit, transmit it to the
		object responsible for unit propagation
Clauses_propagationCheck_IVecInt_UnitPropagationListener		Check if this clause is null or unit
BinaryClause_getActivity		Creates a new basic clause
BinaryClause_toString		
BinaryClause_get_int		Retourne le ieme literal de la clause. Attention, cet ordre change durant
		la recherche.
BinaryClause_rescaleBy_double		
BinaryClause_size		
BinaryClause_assertConstraint_UnitPropagationListener		
BinaryClause_assertConstraintIfNeeded_UnitPropagationListener		
BinaryClause_getVocabulary		
BinaryClause_getLits		
BinaryClause_equals_Object		
BinaryClause_hashCode		
BinaryClause_register		
BinaryClause_canBePropagatedMultipleTimes		
BinaryClause_toConstraint		
BinaryClause_calcReasonOnTheFly_int_IVecInt_IVecInt		
BinaryClause_canBeSatisfiedByCountingLiterals		
BinaryClause_requiredNumberOfSatisfiedLiterals		
BinaryClause_isSatisfied		
BinaryClause_getAssertionLevel_IVecInt_int		
BinaryClause_toString_VarMapper		
BinaryClause_dump		
