Artelys Kalis User's Guide
13.2.2
  • Getting started
  • Installing and using Artelys Kalis
  • Solving a constraint problem
  • Continuous variables and numerical CSP
  • Optimizing with Artelys Kalis
  • Controlling the solution search
  • Improvement techniques
  • Debugging and tracing
  • Advanced Search Strategies
  • Define your own constraints
  • Constraint catalog
  • Scheduling
  • Example Gallery
  • Python API Reference
  • C++ API Reference
    • Modelling
      • KProblem
      • Variables
      • 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
      • Scheduling
    • Solving
    • Environment
    • Collections
  • Java API Reference
  • Glossary
Artelys Kalis User's Guide
  • Docs »
  • C++ API Reference »
  • KConstraint
  • View page source

KConstraint¶

class KConstraint : public KPtrArray<KConstraint>¶

This class is an abstract interface for all constraints in Artelys Kalis

Since

2016.1

Subclassed by KAbs, KACBinConstraint, KACBinTableConstraint, KAllDifferent, KConditionNumLinComb, KConjunction, KCumulativeResourceConstraint, KCumulativeResourceConstraintResourceUsage, KCycle, KDisjunction, KDistanceEqualXyc, KDistanceGreaterThanXyc, KDistanceLowerThanXyc, KDistanceNotEqualXyc, KElement, KElement2D, KEqualXc, KEqualXyc, KEquiv, KGeneralizedArcConsistencyConstraint, KGeneralizedArcConsistencyTableConstraint, KGlobalCardinalityConstraint, KGreaterOrEqualXc, KGreaterOrEqualXyc, KGuard, KLessOrEqualXc, KLinComb, KMax, KMin, KNotEqualXc, KNotEqualXyc, KNumDistanceEqualXyc, KNumDistanceGreaterThanXyc, KNumDistanceLowerThanXyc, KNumEqualXc, KNumEqualXYc, KNumEqualXYZ, KNumGreaterOrEqualXc, KNumGreaterOrEqualXyc, KNumLessOrEqualXc, KNumLinComb, KNumLowerOrEqualXyc, KNumNonLinearComb, KNumXEqualsAbsY, KNumXEqualsAtan2YZ, KNumXEqualsLnY, KNumXEqualsYArithPowC, KNumXEqualsYSquared, KNumXEqualsYTimesC, KNumXEqualsYTimesZ, KNumXOperatorACosY, KNumXOperatorASinY, KNumXOperatorATanY, KNumXOperatorCosY, KNumXOperatorExpY, KNumXOperatorLnY, KNumXOperatorSinY, KNumXOperatorTanY, KOccurrence, KTasksRankConstraint, KUnaryResourceConstraint, KUserConstraint, KUserNumConstraint, KXEqualYMinusZ

Next Previous

© Copyright 2022, Artelys.