C++ API Reference¶
The object-oriented C++ API allows you to integrate Kalis into your C++ application.
Modelling¶
Constraints¶
- KConstraint
- KACBinConstraint
- KACBinTableConstraint
- KAbs
- KAllDifferent
- KBinTerm
- KConditionNumLinComb
- KConjunction
- KConstraintArray
- KCumulativeResourceConstraint
- KCumulativeResourceConstraintResourceUsage
- KCycle
- KDisjunction
- KDisjunctionArray
- KDistanceEqualXyc
- KDistanceGreaterThanXyc
- KDistanceLowerThanXyc
- KDistanceNotEqualXyc
- KElement
- KElement2D
- KEltTerm
- KEltTerm2D
- KEqualXc
- KEqualXyc
- KEquiv
- KGeneralizedArcConsistencyConstraint
- KGeneralizedArcConsistencyTableConstraint
- KGlobalCardinalityConstraint
- KGreaterOrEqualXc
- KGreaterOrEqualXyc
- KGuard
- KLessOrEqualXc
- KLinComb
- KLinTerm
- KMax
- KMin
- KNonLinearTerm
- KNotEqualXc
- KNotEqualXyc
- KNumDistanceEqualXyc
- KNumDistanceGreaterThanXyc
- KNumDistanceLowerThanXyc
- KNumEqualXYZ
- KNumEqualXYc
- KNumEqualXc
- KNumGreaterOrEqualXc
- KNumGreaterOrEqualXyc
- KNumLessOrEqualXc
- KNumLinComb
- KNumLowerOrEqualXyc
- KNumNonLinearComb
- KNumXEqualsAbsY
- KNumXEqualsAtan2YZ
- KNumXEqualsLnY
- KNumXEqualsYArithPowC
- KNumXEqualsYSquared
- KNumXEqualsYTimesC
- KNumXEqualsYTimesZ
- KNumXOperatorACosY
- KNumXOperatorASinY
- KNumXOperatorATanY
- KNumXOperatorCosY
- KNumXOperatorExpY
- KNumXOperatorLnY
- KNumXOperatorSinY
- KNumXOperatorTanY
- KOccurTerm
- KOccurrence
- KTerm
- KUnTerm
- KUserConstraint
- KUserNumConstraint
- KXEqualYMinusZ
Solving¶
Branching schemes¶
- KBranchingScheme
- KAssignAndForbid
- KAssignVar
- KBestBoundValue
- KBranchingSchemeGroup
- KBranchingSchemeGroupArray
- KBranchingSchemeGroupSelector
- KBranchingSchemeGroupSerializer
- KDisjunctionInputOrder
- KDisjunctionPriorityOrder
- KDisjunctionSelector
- KFloatVarBranchingScheme
- KFloatVarSelector
- KInputOrder
- KIntervalDomain
- KIntVarBranchingScheme
- KLargestDomain
- KLargestDurationDomain
- KLargestEarliestCompletionTime
- KLargestEarliestStartTime
- KLargestLatestCompletionTime
- KLargestLatestStartTime
- KLargestMax
- KLargestMin
- KLargestReducedCost
- KMaxDegree
- KMaxRegretOnLowerBound
- KMaxRegretOnUpperBound
- KMaxToMin
- KMiddle
- KMinMaxConflict
- KMinToMax
- KMostFractional
- KNearestNeighbor
- KNearestRelaxedValue
- KNearestValue
- KNumInputOrder
- KNumLargestReducedCost
- KNumMiddle
- KNumNearestRelaxedValue
- KNumNearestValue
- KNumSmallestDomain
- KNumValueSelector
- KNumVariableSelector
- KPathOrder
- KProbe
- KProbeDisjunction
- KRandomValue
- KRandomVariable
- KResourceSelector
- KSettleDisjunction
- KSmallestDomDegRatio
- KSmallestDomain
- KSmallestEarliestCompletionTime
- KSmallestEarliestStartTime
- KSmallestLatestCompletionTime
- KSmallestLatestStartTime
- KSmallestMax
- KSmallestMin
- KSmallestTargetStartTime
- KSplitDomain
- KSplitNumDomain
- KTaskInputOrder
- KTaskRandomOrder
- KTaskSelector
- KTaskSerializer
- KValueSelector
- KVariableSelector
- KWidestDomain