C++ Reference
C++ Reference: Routing
Detailed Description
Model visitor.
Definition at line 3286 of file constraint_solver.h.
Public Member Functions | |
| ~ModelVisitor () override | |
| virtual void | BeginVisitModel (const std::string &type_name) |
| --— Virtual methods for visitors --— More... | |
| virtual void | EndVisitModel (const std::string &type_name) |
| virtual void | BeginVisitConstraint (const std::string &type_name, const Constraint *const constraint) |
| virtual void | EndVisitConstraint (const std::string &type_name, const Constraint *const constraint) |
| virtual void | BeginVisitExtension (const std::string &type) |
| virtual void | EndVisitExtension (const std::string &type) |
| virtual void | BeginVisitIntegerExpression (const std::string &type_name, const IntExpr *const expr) |
| virtual void | EndVisitIntegerExpression (const std::string &type_name, const IntExpr *const expr) |
| virtual void | VisitIntegerVariable (const IntVar *const variable, IntExpr *const delegate) |
| virtual void | VisitIntegerVariable (const IntVar *const variable, const std::string &operation, int64 value, IntVar *const delegate) |
| virtual void | VisitIntervalVariable (const IntervalVar *const variable, const std::string &operation, int64 value, IntervalVar *const delegate) |
| virtual void | VisitSequenceVariable (const SequenceVar *const variable) |
| virtual void | VisitIntegerArgument (const std::string &arg_name, int64 value) |
| Visit integer arguments. More... | |
| virtual void | VisitIntegerArrayArgument (const std::string &arg_name, const std::vector< int64 > &values) |
| virtual void | VisitIntegerMatrixArgument (const std::string &arg_name, const IntTupleSet &tuples) |
| virtual void | VisitIntegerExpressionArgument (const std::string &arg_name, IntExpr *const argument) |
| Visit integer expression argument. More... | |
| virtual void | VisitIntegerVariableArrayArgument (const std::string &arg_name, const std::vector< IntVar * > &arguments) |
| virtual void | VisitIntervalArgument (const std::string &arg_name, IntervalVar *const argument) |
| Visit interval argument. More... | |
| virtual void | VisitIntervalArrayArgument (const std::string &arg_name, const std::vector< IntervalVar * > &arguments) |
| virtual void | VisitSequenceArgument (const std::string &arg_name, SequenceVar *const argument) |
| Visit sequence argument. More... | |
| virtual void | VisitSequenceArrayArgument (const std::string &arg_name, const std::vector< SequenceVar * > &arguments) |
| virtual void | VisitIntegerVariableEvaluatorArgument (const std::string &arg_name, const Solver::Int64ToIntVar &arguments) |
| Helpers. More... | |
| void | VisitInt64ToBoolExtension (Solver::IndexFilter1 filter, int64 index_min, int64 index_max) |
| Using SWIG on callbacks is troublesome, so we hide these methods during the wrapping. More... | |
| void | VisitInt64ToInt64Extension (const Solver::IndexEvaluator1 &eval, int64 index_min, int64 index_max) |
| void | VisitInt64ToInt64AsArray (const Solver::IndexEvaluator1 &eval, const std::string &arg_name, int64 index_max) |
| Expands function as array when index min is 0. More... | |
| virtual std::string | DebugString () const |
Static Public Attributes | |
| static const char | kAbs [] |
| Constraint and Expression types. More... | |
| static const char | kAbsEqual [] |
| static const char | kAllDifferent [] |
| static const char | kAllowedAssignments [] |
| static const char | kAtMost [] |
| static const char | kIndexOf [] |
| static const char | kBetween [] |
| static const char | kConditionalExpr [] |
| static const char | kCircuit [] |
| static const char | kConvexPiecewise [] |
| static const char | kCountEqual [] |
| static const char | kCover [] |
| static const char | kCumulative [] |
| static const char | kDeviation [] |
| static const char | kDifference [] |
| static const char | kDisjunctive [] |
| static const char | kDistribute [] |
| static const char | kDivide [] |
| static const char | kDurationExpr [] |
| static const char | kElement [] |
| static const char | kElementEqual [] |
| static const char | kEndExpr [] |
| static const char | kEquality [] |
| static const char | kFalseConstraint [] |
| static const char | kGlobalCardinality [] |
| static const char | kGreater [] |
| static const char | kGreaterOrEqual [] |
| static const char | kIntegerVariable [] |
| static const char | kIntervalBinaryRelation [] |
| static const char | kIntervalDisjunction [] |
| static const char | kIntervalUnaryRelation [] |
| static const char | kIntervalVariable [] |
| static const char | kInversePermutation [] |
| static const char | kIsBetween [] |
| static const char | kIsDifferent [] |
| static const char | kIsEqual [] |
| static const char | kIsGreater [] |
| static const char | kIsGreaterOrEqual [] |
| static const char | kIsLess [] |
| static const char | kIsLessOrEqual [] |
| static const char | kIsMember [] |
| static const char | kLess [] |
| static const char | kLessOrEqual [] |
| static const char | kLexLess [] |
| static const char | kLinkExprVar [] |
| static const char | kMapDomain [] |
| static const char | kMax [] |
| static const char | kMaxEqual [] |
| static const char | kMember [] |
| static const char | kMin [] |
| static const char | kMinEqual [] |
| static const char | kModulo [] |
| static const char | kNoCycle [] |
| static const char | kNonEqual [] |
| static const char | kNotBetween [] |
| static const char | kNotMember [] |
| static const char | kNullIntersect [] |
| static const char | kOpposite [] |
| static const char | kPack [] |
| static const char | kPathCumul [] |
| static const char | kDelayedPathCumul [] |
| static const char | kPerformedExpr [] |
| static const char | kPower [] |
| static const char | kProduct [] |
| static const char | kScalProd [] |
| static const char | kScalProdEqual [] |
| static const char | kScalProdGreaterOrEqual [] |
| static const char | kScalProdLessOrEqual [] |
| static const char | kSemiContinuous [] |
| static const char | kSequenceVariable [] |
| static const char | kSortingConstraint [] |
| static const char | kSquare [] |
| static const char | kStartExpr [] |
| static const char | kSum [] |
| static const char | kSumEqual [] |
| static const char | kSumGreaterOrEqual [] |
| static const char | kSumLessOrEqual [] |
| static const char | kTrace [] |
| static const char | kTransition [] |
| static const char | kTrueConstraint [] |
| static const char | kVarBoundWatcher [] |
| static const char | kVarValueWatcher [] |
| static const char | kCountAssignedItemsExtension [] |
| Extension names: More... | |
| static const char | kCountUsedBinsExtension [] |
| static const char | kInt64ToBoolExtension [] |
| static const char | kInt64ToInt64Extension [] |
| static const char | kObjectiveExtension [] |
| static const char | kSearchLimitExtension [] |
| static const char | kUsageEqualVariableExtension [] |
| static const char | kUsageLessConstantExtension [] |
| static const char | kVariableGroupExtension [] |
| static const char | kVariableUsageLessConstantExtension [] |
| static const char | kWeightedSumOfAssignedEqualVariableExtension [] |
| static const char | kActiveArgument [] |
| argument names: More... | |
| static const char | kAssumePathsArgument [] |
| static const char | kBranchesLimitArgument [] |
| static const char | kCapacityArgument [] |
| static const char | kCardsArgument [] |
| static const char | kCoefficientsArgument [] |
| static const char | kCountArgument [] |
| static const char | kCumulativeArgument [] |
| static const char | kCumulsArgument [] |
| static const char | kDemandsArgument [] |
| static const char | kDurationMaxArgument [] |
| static const char | kDurationMinArgument [] |
| static const char | kEarlyCostArgument [] |
| static const char | kEarlyDateArgument [] |
| static const char | kEndMaxArgument [] |
| static const char | kEndMinArgument [] |
| static const char | kEndsArgument [] |
| static const char | kExpressionArgument [] |
| static const char | kFailuresLimitArgument [] |
| static const char | kFinalStatesArgument [] |
| static const char | kFixedChargeArgument [] |
| static const char | kIndex2Argument [] |
| static const char | kIndexArgument [] |
| static const char | kInitialState [] |
| static const char | kIntervalArgument [] |
| static const char | kIntervalsArgument [] |
| static const char | kLateCostArgument [] |
| static const char | kLateDateArgument [] |
| static const char | kLeftArgument [] |
| static const char | kMaxArgument [] |
| static const char | kMaximizeArgument [] |
| static const char | kMinArgument [] |
| static const char | kModuloArgument [] |
| static const char | kNextsArgument [] |
| static const char | kOptionalArgument [] |
| static const char | kPartialArgument [] |
| static const char | kPositionXArgument [] |
| static const char | kPositionYArgument [] |
| static const char | kRangeArgument [] |
| static const char | kRelationArgument [] |
| static const char | kRightArgument [] |
| static const char | kSequenceArgument [] |
| static const char | kSequencesArgument [] |
| static const char | kSizeArgument [] |
| static const char | kSizeXArgument [] |
| static const char | kSizeYArgument [] |
| static const char | kSmartTimeCheckArgument [] |
| static const char | kSolutionLimitArgument [] |
| static const char | kStartMaxArgument [] |
| static const char | kStartMinArgument [] |
| static const char | kStartsArgument [] |
| static const char | kStepArgument [] |
| static const char | kTargetArgument [] |
| static const char | kTimeLimitArgument [] |
| static const char | kTransitsArgument [] |
| static const char | kTuplesArgument [] |
| static const char | kValueArgument [] |
| static const char | kValuesArgument [] |
| static const char | kVariableArgument [] |
| static const char | kVarsArgument [] |
| static const char | kEvaluatorArgument [] |
| static const char | kMirrorOperation [] |
| Operations. More... | |
| static const char | kRelaxedMaxOperation [] |
| static const char | kRelaxedMinOperation [] |
| static const char | kSumOperation [] |
| static const char | kDifferenceOperation [] |
| static const char | kProductOperation [] |
| static const char | kStartSyncOnStartOperation [] |
| static const char | kStartSyncOnEndOperation [] |
| static const char | kTraceOperation [] |
Constructor & Destructor Documentation
◆ ~ModelVisitor()
|
override |
Member Function Documentation
◆ BeginVisitConstraint()
|
virtual |
Reimplemented in ModelParser.
◆ BeginVisitExtension()
|
virtual |
◆ BeginVisitIntegerExpression()
|
virtual |
Reimplemented in ModelParser.
◆ BeginVisitModel()
|
virtual |
◆ DebugString()
|
inlinevirtualinherited |
Reimplemented in Pack, Assignment, SequenceVar, RegularLimit, SearchLimit, OptimizeVar, SolutionCollector, IntVarIterator, CPFeasibilityFilter, Constraint, Demon, DecisionBuilder, Decision, PropagationBaseObject, IntVarFilteredDecisionBuilder, ArrayWithOffset< T >, SearchLog, BooleanVar, LocalSearchMonitor, GlobalVehicleBreaksConstraint, PropagationMonitor, LocalSearchFilterManager, DelayedCallMethod2< T, P, Q >, DelayedCallMethod1< T, P >, DelayedCallMethod0< T >, ExchangeSubtrip, CallMethod3< T, P, Q, R >, RelocateSubtrip, CallMethod2< T, P, Q >, CallMethod1< T, P >, CallMethod0< T >, PairNodeSwapActiveOperator< swap_first >, RelocateExpensiveChain, FilteredHeuristicExpensiveChainLNSOperator, FilteredHeuristicPathLNSOperator, IndexPairSwapActiveOperator, SwapIndexPairOperator, PairExchangeRelocateOperator, PairExchangeOperator, LightPairRelocateOperator, PairRelocateOperator, MakePairInactiveOperator, MakePairActiveOperator, and MakeRelocateNeighborsOperator.
Definition at line 3108 of file constraint_solver.h.
◆ EndVisitConstraint()
|
virtual |
Reimplemented in ModelParser.
◆ EndVisitExtension()
|
virtual |
◆ EndVisitIntegerExpression()
|
virtual |
Reimplemented in ModelParser.
◆ EndVisitModel()
|
virtual |
Reimplemented in ModelParser.
◆ VisitInt64ToBoolExtension()
| void VisitInt64ToBoolExtension | ( | Solver::IndexFilter1 | filter, |
| int64 | index_min, | ||
| int64 | index_max | ||
| ) |
Using SWIG on callbacks is troublesome, so we hide these methods during the wrapping.
◆ VisitInt64ToInt64AsArray()
| void VisitInt64ToInt64AsArray | ( | const Solver::IndexEvaluator1 & | eval, |
| const std::string & | arg_name, | ||
| int64 | index_max | ||
| ) |
Expands function as array when index min is 0.
◆ VisitInt64ToInt64Extension()
| void VisitInt64ToInt64Extension | ( | const Solver::IndexEvaluator1 & | eval, |
| int64 | index_min, | ||
| int64 | index_max | ||
| ) |
◆ VisitIntegerArgument()
|
virtual |
Visit integer arguments.
Reimplemented in ModelParser.
◆ VisitIntegerArrayArgument()
|
virtual |
Reimplemented in ModelParser.
◆ VisitIntegerExpressionArgument()
|
virtual |
Visit integer expression argument.
Reimplemented in ModelParser.
◆ VisitIntegerMatrixArgument()
|
virtual |
Reimplemented in ModelParser.
◆ VisitIntegerVariable() [1/2]
|
virtual |
Reimplemented in ModelParser.
◆ VisitIntegerVariable() [2/2]
Reimplemented in ModelParser.
◆ VisitIntegerVariableArrayArgument()
|
virtual |
Reimplemented in ModelParser.
◆ VisitIntegerVariableEvaluatorArgument()
|
virtual |
Helpers.
◆ VisitIntervalArgument()
|
virtual |
Visit interval argument.
Reimplemented in ModelParser.
◆ VisitIntervalArrayArgument()
|
virtual |
Reimplemented in ModelParser.
◆ VisitIntervalVariable()
|
virtual |
Reimplemented in ModelParser.
◆ VisitSequenceArgument()
|
virtual |
Visit sequence argument.
Reimplemented in ModelParser.
◆ VisitSequenceArrayArgument()
|
virtual |
Reimplemented in ModelParser.
◆ VisitSequenceVariable()
|
virtual |
Reimplemented in ModelParser.
Member Data Documentation
◆ kAbs
|
static |
Constraint and Expression types.
Definition at line 3289 of file constraint_solver.h.
◆ kAbsEqual
|
static |
Definition at line 3290 of file constraint_solver.h.
◆ kActiveArgument
|
static |
argument names:
Definition at line 3387 of file constraint_solver.h.
◆ kAllDifferent
|
static |
Definition at line 3291 of file constraint_solver.h.
◆ kAllowedAssignments
|
static |
Definition at line 3292 of file constraint_solver.h.
◆ kAssumePathsArgument
|
static |
Definition at line 3388 of file constraint_solver.h.
◆ kAtMost
|
static |
Definition at line 3293 of file constraint_solver.h.
◆ kBetween
|
static |
Definition at line 3295 of file constraint_solver.h.
◆ kBranchesLimitArgument
|
static |
Definition at line 3389 of file constraint_solver.h.
◆ kCapacityArgument
|
static |
Definition at line 3390 of file constraint_solver.h.
◆ kCardsArgument
|
static |
Definition at line 3391 of file constraint_solver.h.
◆ kCircuit
|
static |
Definition at line 3297 of file constraint_solver.h.
◆ kCoefficientsArgument
|
static |
Definition at line 3392 of file constraint_solver.h.
◆ kConditionalExpr
|
static |
Definition at line 3296 of file constraint_solver.h.
◆ kConvexPiecewise
|
static |
Definition at line 3298 of file constraint_solver.h.
◆ kCountArgument
|
static |
Definition at line 3393 of file constraint_solver.h.
◆ kCountAssignedItemsExtension
|
static |
Extension names:
Definition at line 3373 of file constraint_solver.h.
◆ kCountEqual
|
static |
Definition at line 3299 of file constraint_solver.h.
◆ kCountUsedBinsExtension
|
static |
Definition at line 3374 of file constraint_solver.h.
◆ kCover
|
static |
Definition at line 3300 of file constraint_solver.h.
◆ kCumulative
|
static |
Definition at line 3301 of file constraint_solver.h.
◆ kCumulativeArgument
|
static |
Definition at line 3394 of file constraint_solver.h.
◆ kCumulsArgument
|
static |
Definition at line 3395 of file constraint_solver.h.
◆ kDelayedPathCumul
|
static |
Definition at line 3349 of file constraint_solver.h.
◆ kDemandsArgument
|
static |
Definition at line 3396 of file constraint_solver.h.
◆ kDeviation
|
static |
Definition at line 3302 of file constraint_solver.h.
◆ kDifference
|
static |
Definition at line 3303 of file constraint_solver.h.
◆ kDifferenceOperation
|
static |
Definition at line 3454 of file constraint_solver.h.
◆ kDisjunctive
|
static |
Definition at line 3304 of file constraint_solver.h.
◆ kDistribute
|
static |
Definition at line 3305 of file constraint_solver.h.
◆ kDivide
|
static |
Definition at line 3306 of file constraint_solver.h.
◆ kDurationExpr
|
static |
Definition at line 3307 of file constraint_solver.h.
◆ kDurationMaxArgument
|
static |
Definition at line 3397 of file constraint_solver.h.
◆ kDurationMinArgument
|
static |
Definition at line 3398 of file constraint_solver.h.
◆ kEarlyCostArgument
|
static |
Definition at line 3399 of file constraint_solver.h.
◆ kEarlyDateArgument
|
static |
Definition at line 3400 of file constraint_solver.h.
◆ kElement
|
static |
Definition at line 3308 of file constraint_solver.h.
◆ kElementEqual
|
static |
Definition at line 3309 of file constraint_solver.h.
◆ kEndExpr
|
static |
Definition at line 3310 of file constraint_solver.h.
◆ kEndMaxArgument
|
static |
Definition at line 3401 of file constraint_solver.h.
◆ kEndMinArgument
|
static |
Definition at line 3402 of file constraint_solver.h.
◆ kEndsArgument
|
static |
Definition at line 3403 of file constraint_solver.h.
◆ kEquality
|
static |
Definition at line 3311 of file constraint_solver.h.
◆ kEvaluatorArgument
|
static |
Definition at line 3447 of file constraint_solver.h.
◆ kExpressionArgument
|
static |
Definition at line 3404 of file constraint_solver.h.
◆ kFailuresLimitArgument
|
static |
Definition at line 3405 of file constraint_solver.h.
◆ kFalseConstraint
|
static |
Definition at line 3312 of file constraint_solver.h.
◆ kFinalStatesArgument
|
static |
Definition at line 3406 of file constraint_solver.h.
◆ kFixedChargeArgument
|
static |
Definition at line 3407 of file constraint_solver.h.
◆ kGlobalCardinality
|
static |
Definition at line 3313 of file constraint_solver.h.
◆ kGreater
|
static |
Definition at line 3314 of file constraint_solver.h.
◆ kGreaterOrEqual
|
static |
Definition at line 3315 of file constraint_solver.h.
◆ kIndex2Argument
|
static |
Definition at line 3408 of file constraint_solver.h.
◆ kIndexArgument
|
static |
Definition at line 3409 of file constraint_solver.h.
◆ kIndexOf
|
static |
Definition at line 3294 of file constraint_solver.h.
◆ kInitialState
|
static |
Definition at line 3410 of file constraint_solver.h.
◆ kInt64ToBoolExtension
|
static |
Definition at line 3375 of file constraint_solver.h.
◆ kInt64ToInt64Extension
|
static |
Definition at line 3376 of file constraint_solver.h.
◆ kIntegerVariable
|
static |
Definition at line 3316 of file constraint_solver.h.
◆ kIntervalArgument
|
static |
Definition at line 3411 of file constraint_solver.h.
◆ kIntervalBinaryRelation
|
static |
Definition at line 3317 of file constraint_solver.h.
◆ kIntervalDisjunction
|
static |
Definition at line 3318 of file constraint_solver.h.
◆ kIntervalsArgument
|
static |
Definition at line 3412 of file constraint_solver.h.
◆ kIntervalUnaryRelation
|
static |
Definition at line 3319 of file constraint_solver.h.
◆ kIntervalVariable
|
static |
Definition at line 3320 of file constraint_solver.h.
◆ kInversePermutation
|
static |
Definition at line 3321 of file constraint_solver.h.
◆ kIsBetween
|
static |
Definition at line 3322 of file constraint_solver.h.
◆ kIsDifferent
|
static |
Definition at line 3323 of file constraint_solver.h.
◆ kIsEqual
|
static |
Definition at line 3324 of file constraint_solver.h.
◆ kIsGreater
|
static |
Definition at line 3325 of file constraint_solver.h.
◆ kIsGreaterOrEqual
|
static |
Definition at line 3326 of file constraint_solver.h.
◆ kIsLess
|
static |
Definition at line 3327 of file constraint_solver.h.
◆ kIsLessOrEqual
|
static |
Definition at line 3328 of file constraint_solver.h.
◆ kIsMember
|
static |
Definition at line 3329 of file constraint_solver.h.
◆ kLateCostArgument
|
static |
Definition at line 3413 of file constraint_solver.h.
◆ kLateDateArgument
|
static |
Definition at line 3414 of file constraint_solver.h.
◆ kLeftArgument
|
static |
Definition at line 3415 of file constraint_solver.h.
◆ kLess
|
static |
Definition at line 3330 of file constraint_solver.h.
◆ kLessOrEqual
|
static |
Definition at line 3331 of file constraint_solver.h.
◆ kLexLess
|
static |
Definition at line 3332 of file constraint_solver.h.
◆ kLinkExprVar
|
static |
Definition at line 3333 of file constraint_solver.h.
◆ kMapDomain
|
static |
Definition at line 3334 of file constraint_solver.h.
◆ kMax
|
static |
Definition at line 3335 of file constraint_solver.h.
◆ kMaxArgument
|
static |
Definition at line 3416 of file constraint_solver.h.
◆ kMaxEqual
|
static |
Definition at line 3336 of file constraint_solver.h.
◆ kMaximizeArgument
|
static |
Definition at line 3417 of file constraint_solver.h.
◆ kMember
|
static |
Definition at line 3337 of file constraint_solver.h.
◆ kMin
|
static |
Definition at line 3338 of file constraint_solver.h.
◆ kMinArgument
|
static |
Definition at line 3418 of file constraint_solver.h.
◆ kMinEqual
|
static |
Definition at line 3339 of file constraint_solver.h.
◆ kMirrorOperation
|
static |
Operations.
Definition at line 3450 of file constraint_solver.h.
◆ kModulo
|
static |
Definition at line 3340 of file constraint_solver.h.
◆ kModuloArgument
|
static |
Definition at line 3419 of file constraint_solver.h.
◆ kNextsArgument
|
static |
Definition at line 3420 of file constraint_solver.h.
◆ kNoCycle
|
static |
Definition at line 3341 of file constraint_solver.h.
◆ kNonEqual
|
static |
Definition at line 3342 of file constraint_solver.h.
◆ kNotBetween
|
static |
Definition at line 3343 of file constraint_solver.h.
◆ kNotMember
|
static |
Definition at line 3344 of file constraint_solver.h.
◆ kNullIntersect
|
static |
Definition at line 3345 of file constraint_solver.h.
◆ kObjectiveExtension
|
static |
Definition at line 3377 of file constraint_solver.h.
◆ kOpposite
|
static |
Definition at line 3346 of file constraint_solver.h.
◆ kOptionalArgument
|
static |
Definition at line 3421 of file constraint_solver.h.
◆ kPack
|
static |
Definition at line 3347 of file constraint_solver.h.
◆ kPartialArgument
|
static |
Definition at line 3422 of file constraint_solver.h.
◆ kPathCumul
|
static |
Definition at line 3348 of file constraint_solver.h.
◆ kPerformedExpr
|
static |
Definition at line 3350 of file constraint_solver.h.
◆ kPositionXArgument
|
static |
Definition at line 3423 of file constraint_solver.h.
◆ kPositionYArgument
|
static |
Definition at line 3424 of file constraint_solver.h.
◆ kPower
|
static |
Definition at line 3351 of file constraint_solver.h.
◆ kProduct
|
static |
Definition at line 3352 of file constraint_solver.h.
◆ kProductOperation
|
static |
Definition at line 3455 of file constraint_solver.h.
◆ kRangeArgument
|
static |
Definition at line 3425 of file constraint_solver.h.
◆ kRelationArgument
|
static |
Definition at line 3426 of file constraint_solver.h.
◆ kRelaxedMaxOperation
|
static |
Definition at line 3451 of file constraint_solver.h.
◆ kRelaxedMinOperation
|
static |
Definition at line 3452 of file constraint_solver.h.
◆ kRightArgument
|
static |
Definition at line 3427 of file constraint_solver.h.
◆ kScalProd
|
static |
Definition at line 3353 of file constraint_solver.h.
◆ kScalProdEqual
|
static |
Definition at line 3354 of file constraint_solver.h.
◆ kScalProdGreaterOrEqual
|
static |
Definition at line 3355 of file constraint_solver.h.
◆ kScalProdLessOrEqual
|
static |
Definition at line 3356 of file constraint_solver.h.
◆ kSearchLimitExtension
|
static |
Definition at line 3378 of file constraint_solver.h.
◆ kSemiContinuous
|
static |
Definition at line 3357 of file constraint_solver.h.
◆ kSequenceArgument
|
static |
Definition at line 3428 of file constraint_solver.h.
◆ kSequencesArgument
|
static |
Definition at line 3429 of file constraint_solver.h.
◆ kSequenceVariable
|
static |
Definition at line 3358 of file constraint_solver.h.
◆ kSizeArgument
|
static |
Definition at line 3430 of file constraint_solver.h.
◆ kSizeXArgument
|
static |
Definition at line 3431 of file constraint_solver.h.
◆ kSizeYArgument
|
static |
Definition at line 3432 of file constraint_solver.h.
◆ kSmartTimeCheckArgument
|
static |
Definition at line 3433 of file constraint_solver.h.
◆ kSolutionLimitArgument
|
static |
Definition at line 3434 of file constraint_solver.h.
◆ kSortingConstraint
|
static |
Definition at line 3359 of file constraint_solver.h.
◆ kSquare
|
static |
Definition at line 3360 of file constraint_solver.h.
◆ kStartExpr
|
static |
Definition at line 3361 of file constraint_solver.h.
◆ kStartMaxArgument
|
static |
Definition at line 3435 of file constraint_solver.h.
◆ kStartMinArgument
|
static |
Definition at line 3436 of file constraint_solver.h.
◆ kStartsArgument
|
static |
Definition at line 3437 of file constraint_solver.h.
◆ kStartSyncOnEndOperation
|
static |
Definition at line 3457 of file constraint_solver.h.
◆ kStartSyncOnStartOperation
|
static |
Definition at line 3456 of file constraint_solver.h.
◆ kStepArgument
|
static |
Definition at line 3438 of file constraint_solver.h.
◆ kSum
|
static |
Definition at line 3362 of file constraint_solver.h.
◆ kSumEqual
|
static |
Definition at line 3363 of file constraint_solver.h.
◆ kSumGreaterOrEqual
|
static |
Definition at line 3364 of file constraint_solver.h.
◆ kSumLessOrEqual
|
static |
Definition at line 3365 of file constraint_solver.h.
◆ kSumOperation
|
static |
Definition at line 3453 of file constraint_solver.h.
◆ kTargetArgument
|
static |
Definition at line 3439 of file constraint_solver.h.
◆ kTimeLimitArgument
|
static |
Definition at line 3440 of file constraint_solver.h.
◆ kTrace
|
static |
Definition at line 3366 of file constraint_solver.h.
◆ kTraceOperation
|
static |
Definition at line 3458 of file constraint_solver.h.
◆ kTransition
|
static |
Definition at line 3367 of file constraint_solver.h.
◆ kTransitsArgument
|
static |
Definition at line 3441 of file constraint_solver.h.
◆ kTrueConstraint
|
static |
Definition at line 3368 of file constraint_solver.h.
◆ kTuplesArgument
|
static |
Definition at line 3442 of file constraint_solver.h.
◆ kUsageEqualVariableExtension
|
static |
Definition at line 3379 of file constraint_solver.h.
◆ kUsageLessConstantExtension
|
static |
Definition at line 3381 of file constraint_solver.h.
◆ kValueArgument
|
static |
Definition at line 3443 of file constraint_solver.h.
◆ kValuesArgument
|
static |
Definition at line 3444 of file constraint_solver.h.
◆ kVarBoundWatcher
|
static |
Definition at line 3369 of file constraint_solver.h.
◆ kVariableArgument
|
static |
Definition at line 3445 of file constraint_solver.h.
◆ kVariableGroupExtension
|
static |
Definition at line 3382 of file constraint_solver.h.
◆ kVariableUsageLessConstantExtension
|
static |
Definition at line 3383 of file constraint_solver.h.
◆ kVarsArgument
|
static |
Definition at line 3446 of file constraint_solver.h.
◆ kVarValueWatcher
|
static |
Definition at line 3370 of file constraint_solver.h.
◆ kWeightedSumOfAssignedEqualVariableExtension
|
static |
Definition at line 3384 of file constraint_solver.h.
The documentation for this class was generated from the following file: