Libraries

• C++ Library
  • Introduction
  • Main types and constants
    • IMPLICIT_VAR_TAG
    • HIDDEN_VAR_TAG
    • HIDDEN_VAR_TAG_HVE
    • HIDDEN_VAR_TAG_HVE_PRE
    • MAX_VAL
    • WRONG_VAL
    • MIN_VAL
    • MAX_DOMAIN_SIZE
    • NARYPROJECTIONSIZE
    • NARYPROJECTION3MAXDOMSIZE
    • NARYPROJECTION3PRODDOMSIZE
    • NARYDECONNECTSIZE
    • MAX_BRANCH_SIZE
    • CHOICE_POINT_LIMIT
    • OPEN_NODE_LIMIT
    • STORE_SIZE
    • MAX_ELIM_BIN
    • MAX_ARITY
    • MAX_NB_TUPLES
    • LARGE_NB_VARS
    • DECIMAL_POINT
    • NARY2CLAUSE
    • MAX_EAC_ITER
  • WeightedCSP class
    • WeightedCSP
  • WeightedCSPSolver class
    • WeightedCSPSolver
  • MultiCFN class
    • MultiCFN
  • ToulBar2 class
    • ToulBar2
  • Miscellaneous functions
    • tb2init()
    • tb2checkOptions()
• Python Library
  • CFN
    • CFN.AddAllDifferent()
    • CFN.AddCompactFunction()
    • CFN.AddFunction()
    • CFN.AddGeneralizedLinearConstraint()
    • CFN.AddGlobalFunction()
    • CFN.AddLinearConstraint()
    • CFN.AddSumConstraint()
    • CFN.AddVariable()
    • CFN.AddWeightedCSPConstraint()
    • CFN.Assign()
    • CFN.ClearPropagationQueues()
    • CFN.Deconnect()
    • CFN.Decrease()
    • CFN.Depth()
    • CFN.Domain()
    • CFN.Dump()
    • CFN.GetDDualBound()
    • CFN.GetDomainInitSize()
    • CFN.GetLB()
    • CFN.GetName()
    • CFN.GetNbBacktracks()
    • CFN.GetNbConstrs()
    • CFN.GetNbNodes()
    • CFN.GetNbVars()
    • CFN.GetSolutions()
    • CFN.GetUB()
    • CFN.GetValue()
    • CFN.GetValueIndex()
    • CFN.GetValueName()
    • CFN.Increase()
    • CFN.InitFromMultiCFN()
    • CFN.MultipleAssign()
    • CFN.MultipleDeconnect()
    • CFN.NoPreprocessing()
    • CFN.Parse()
    • CFN.Print()
    • CFN.Read()
    • CFN.Remove()
    • CFN.Restore()
    • CFN.SetName()
    • CFN.SetUB()
    • CFN.Solve()
    • CFN.SolveFirst()
    • CFN.SolveNext()
    • CFN.Store()
    • CFN.UpdateUB()
    • CFN.flatten()
  • MultiCFN
    • MultiCFN.ApproximateParetoFront()
    • MultiCFN.GetSolution()
    • MultiCFN.GetSolutionCosts()
    • MultiCFN.GetVariableIndex()
    • MultiCFN.Print()
    • MultiCFN.PushCFN()
    • MultiCFN.SetWeight()