OR-Tools  8.2
ModelVisitor

Detailed Description

Model visitor.

Definition at line 3334 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 [] = "Abs"
 Constraint and Expression types. More...
 
static const char kAbsEqual [] = "AbsEqual"
 
static const char kAllDifferent [] = "AllDifferent"
 
static const char kAllowedAssignments [] = "AllowedAssignments"
 
static const char kAtMost [] = "AtMost"
 
static const char kIndexOf [] = "IndexOf"
 
static const char kBetween [] = "Between"
 
static const char kConditionalExpr [] = "ConditionalExpr"
 
static const char kCircuit [] = "Circuit"
 
static const char kConvexPiecewise [] = "ConvexPiecewise"
 
static const char kCountEqual [] = "CountEqual"
 
static const char kCover [] = "Cover"
 
static const char kCumulative [] = "Cumulative"
 
static const char kDeviation [] = "Deviation"
 
static const char kDifference [] = "Difference"
 
static const char kDisjunctive [] = "Disjunctive"
 
static const char kDistribute [] = "Distribute"
 
static const char kDivide [] = "Divide"
 
static const char kDurationExpr [] = "DurationExpression"
 
static const char kElement [] = "Element"
 
static const char kElementEqual [] = "ElementEqual"
 
static const char kEndExpr [] = "EndExpression"
 
static const char kEquality [] = "Equal"
 
static const char kFalseConstraint [] = "FalseConstraint"
 
static const char kGlobalCardinality [] = "GlobalCardinality"
 
static const char kGreater [] = "Greater"
 
static const char kGreaterOrEqual [] = "GreaterOrEqual"
 
static const char kIntegerVariable [] = "IntegerVariable"
 
static const char kIntervalBinaryRelation [] = "IntervalBinaryRelation"
 
static const char kIntervalDisjunction [] = "IntervalDisjunction"
 
static const char kIntervalUnaryRelation [] = "IntervalUnaryRelation"
 
static const char kIntervalVariable [] = "IntervalVariable"
 
static const char kInversePermutation [] = "InversePermutation"
 
static const char kIsBetween [] = "IsBetween;"
 
static const char kIsDifferent [] = "IsDifferent"
 
static const char kIsEqual [] = "IsEqual"
 
static const char kIsGreater [] = "IsGreater"
 
static const char kIsGreaterOrEqual [] = "IsGreaterOrEqual"
 
static const char kIsLess [] = "IsLess"
 
static const char kIsLessOrEqual [] = "IsLessOrEqual"
 
static const char kIsMember [] = "IsMember;"
 
static const char kLess [] = "Less"
 
static const char kLessOrEqual [] = "LessOrEqual"
 
static const char kLexLess [] = "LexLess"
 
static const char kLinkExprVar [] = "CastExpressionIntoVariable"
 
static const char kMapDomain [] = "MapDomain"
 
static const char kMax [] = "Max"
 
static const char kMaxEqual [] = "MaxEqual"
 
static const char kMember [] = "Member"
 
static const char kMin [] = "Min"
 
static const char kMinEqual [] = "MinEqual"
 
static const char kModulo [] = "Modulo"
 
static const char kNoCycle [] = "NoCycle"
 
static const char kNonEqual [] = "NonEqual"
 
static const char kNotBetween [] = "NotBetween"
 
static const char kNotMember [] = "NotMember"
 
static const char kNullIntersect [] = "NullIntersect"
 
static const char kOpposite [] = "Opposite"
 
static const char kPack [] = "Pack"
 
static const char kPathCumul [] = "PathCumul"
 
static const char kDelayedPathCumul [] = "DelayedPathCumul"
 
static const char kPerformedExpr [] = "PerformedExpression"
 
static const char kPower [] = "Power"
 
static const char kProduct [] = "Product"
 
static const char kScalProd [] = "ScalarProduct"
 
static const char kScalProdEqual [] = "ScalarProductEqual"
 
static const char kScalProdGreaterOrEqual []
 
static const char kScalProdLessOrEqual [] = "ScalarProductLessOrEqual"
 
static const char kSemiContinuous [] = "SemiContinuous"
 
static const char kSequenceVariable [] = "SequenceVariable"
 
static const char kSortingConstraint [] = "SortingConstraint"
 
static const char kSquare [] = "Square"
 
static const char kStartExpr [] = "StartExpression"
 
static const char kSum [] = "Sum"
 
static const char kSumEqual [] = "SumEqual"
 
static const char kSumGreaterOrEqual [] = "SumGreaterOrEqual"
 
static const char kSumLessOrEqual [] = "SumLessOrEqual"
 
static const char kTrace [] = "Trace"
 
static const char kTransition [] = "Transition"
 
static const char kTrueConstraint [] = "TrueConstraint"
 
static const char kVarBoundWatcher [] = "VarBoundWatcher"
 
static const char kVarValueWatcher [] = "VarValueWatcher"
 
static const char kCountAssignedItemsExtension [] = "CountAssignedItems"
 Extension names: More...
 
static const char kCountUsedBinsExtension [] = "CountUsedBins"
 
static const char kInt64ToBoolExtension [] = "Int64ToBoolFunction"
 
static const char kInt64ToInt64Extension [] = "Int64ToInt64Function"
 
static const char kObjectiveExtension [] = "Objective"
 
static const char kSearchLimitExtension [] = "SearchLimit"
 
static const char kUsageEqualVariableExtension [] = "UsageEqualVariable"
 
static const char kUsageLessConstantExtension [] = "UsageLessConstant"
 
static const char kVariableGroupExtension [] = "VariableGroup"
 
static const char kVariableUsageLessConstantExtension []
 
static const char kWeightedSumOfAssignedEqualVariableExtension []
 
static const char kActiveArgument [] = "active"
 argument names: More...
 
static const char kAssumePathsArgument [] = "assume_paths"
 
static const char kBranchesLimitArgument [] = "branches_limit"
 
static const char kCapacityArgument [] = "capacity"
 
static const char kCardsArgument [] = "cardinalities"
 
static const char kCoefficientsArgument [] = "coefficients"
 
static const char kCountArgument [] = "count"
 
static const char kCumulativeArgument [] = "cumulative"
 
static const char kCumulsArgument [] = "cumuls"
 
static const char kDemandsArgument [] = "demands"
 
static const char kDurationMaxArgument [] = "duration_max"
 
static const char kDurationMinArgument [] = "duration_min"
 
static const char kEarlyCostArgument [] = "early_cost"
 
static const char kEarlyDateArgument [] = "early_date"
 
static const char kEndMaxArgument [] = "end_max"
 
static const char kEndMinArgument [] = "end_min"
 
static const char kEndsArgument [] = "ends"
 
static const char kExpressionArgument [] = "expression"
 
static const char kFailuresLimitArgument [] = "failures_limit"
 
static const char kFinalStatesArgument [] = "final_states"
 
static const char kFixedChargeArgument [] = "fixed_charge"
 
static const char kIndex2Argument [] = "index2"
 
static const char kIndexArgument [] = "index"
 
static const char kInitialState [] = "initial_state"
 
static const char kIntervalArgument [] = "interval"
 
static const char kIntervalsArgument [] = "intervals"
 
static const char kLateCostArgument [] = "late_cost"
 
static const char kLateDateArgument [] = "late_date"
 
static const char kLeftArgument [] = "left"
 
static const char kMaxArgument [] = "max_value"
 
static const char kMaximizeArgument [] = "maximize"
 
static const char kMinArgument [] = "min_value"
 
static const char kModuloArgument [] = "modulo"
 
static const char kNextsArgument [] = "nexts"
 
static const char kOptionalArgument [] = "optional"
 
static const char kPartialArgument [] = "partial"
 
static const char kPositionXArgument [] = "position_x"
 
static const char kPositionYArgument [] = "position_y"
 
static const char kRangeArgument [] = "range"
 
static const char kRelationArgument [] = "relation"
 
static const char kRightArgument [] = "right"
 
static const char kSequenceArgument [] = "sequence"
 
static const char kSequencesArgument [] = "sequences"
 
static const char kSizeArgument [] = "size"
 
static const char kSizeXArgument [] = "size_x"
 
static const char kSizeYArgument [] = "size_y"
 
static const char kSmartTimeCheckArgument [] = "smart_time_check"
 
static const char kSolutionLimitArgument [] = "solutions_limit"
 
static const char kStartMaxArgument [] = "start_max"
 
static const char kStartMinArgument [] = "start_min"
 
static const char kStartsArgument [] = "starts"
 
static const char kStepArgument [] = "step"
 
static const char kTargetArgument [] = "target_variable"
 
static const char kTimeLimitArgument [] = "time_limit"
 
static const char kTransitsArgument [] = "transits"
 
static const char kTuplesArgument [] = "tuples"
 
static const char kValueArgument [] = "value"
 
static const char kValuesArgument [] = "values"
 
static const char kVariableArgument [] = "variable"
 
static const char kVarsArgument [] = "variables"
 
static const char kEvaluatorArgument [] = "evaluator"
 
static const char kMirrorOperation [] = "mirror"
 Operations. More...
 
static const char kRelaxedMaxOperation [] = "relaxed_max"
 
static const char kRelaxedMinOperation [] = "relaxed_min"
 
static const char kSumOperation [] = "sum"
 
static const char kDifferenceOperation [] = "difference"
 
static const char kProductOperation [] = "product"
 
static const char kStartSyncOnStartOperation [] = "start_synced_on_start"
 
static const char kStartSyncOnEndOperation [] = "start_synced_on_end"
 
static const char kTraceOperation [] = "trace"
 

Constructor & Destructor Documentation

◆ ~ModelVisitor()

~ModelVisitor ( )
override

Definition at line 2732 of file constraint_solver.cc.

Member Function Documentation

◆ BeginVisitConstraint()

void BeginVisitConstraint ( const std::string &  type_name,
const Constraint *const  constraint 
)
virtual

Reimplemented in ModelParser.

Definition at line 2737 of file constraint_solver.cc.

◆ BeginVisitExtension()

void BeginVisitExtension ( const std::string &  type)
virtual

Definition at line 2742 of file constraint_solver.cc.

◆ BeginVisitIntegerExpression()

void BeginVisitIntegerExpression ( const std::string &  type_name,
const IntExpr *const  expr 
)
virtual

Reimplemented in ModelParser.

Definition at line 2745 of file constraint_solver.cc.

◆ BeginVisitModel()

void BeginVisitModel ( const std::string &  type_name)
virtual

--— Virtual methods for visitors --—

Begin/End visit element.

Reimplemented in ModelParser.

Definition at line 2734 of file constraint_solver.cc.

◆ DebugString()

virtual std::string DebugString ( ) const
inlinevirtualinherited

Reimplemented in SymmetryManager, ExchangeSubtrip, RelocateSubtrip, PairNodeSwapActiveOperator< swap_first >, RelocateExpensiveChain, FilteredHeuristicCloseNodesLNSOperator, FilteredHeuristicExpensiveChainLNSOperator, RelocatePathAndHeuristicInsertUnperformedOperator, FilteredHeuristicPathLNSOperator, IndexPairSwapActiveOperator, SwapIndexPairOperator, PairExchangeRelocateOperator, PairExchangeOperator, LightPairRelocateOperator, PairRelocateOperator, MakePairInactiveOperator, MakePairActiveOperator, MakeRelocateNeighborsOperator, CPFeasibilityFilter, IntVarFilteredDecisionBuilder, GlobalVehicleBreaksConstraint, Dimension, LocalSearchPhaseParameters, FindOneNeighbor, LocalSearchProfiler, NeighborhoodLimit, PathLns, LinKernighan, TSPLns, TSPOpt, ExtendedSwapActiveOperator, SwapActiveOperator, MakeChainInactiveOperator, RelocateAndMakeInactiveOperator, MakeInactiveOperator, MakeActiveAndRelocate, RelocateAndMakeActiveOperator, MakeActiveOperator, Cross, Exchange, Relocate, TwoOpt, PiecewiseLinearExpr, IfThenElseCt, DemonProfiler, ArrayWithOffset< T >, SearchLog, BooleanVar, LocalSearchMonitor, PropagationMonitor, LocalSearchFilterManager, DelayedCallMethod2< T, P, Q >, DelayedCallMethod1< T, P >, DelayedCallMethod0< T >, CallMethod3< T, P, Q, R >, CallMethod2< T, P, Q >, CallMethod1< T, P >, CallMethod0< T >, Pack, Assignment, SequenceVar, RegularLimit, SearchLimit, OptimizeVar, SolutionCollector, IntVarIterator, Constraint, Demon, DecisionBuilder, Decision, PropagationBaseObject, LocalSearchMonitorMaster, and Trace.

Definition at line 3156 of file constraint_solver.h.

◆ EndVisitConstraint()

void EndVisitConstraint ( const std::string &  type_name,
const Constraint *const  constraint 
)
virtual

Reimplemented in RoutingModelInspector, and ModelParser.

Definition at line 2739 of file constraint_solver.cc.

◆ EndVisitExtension()

void EndVisitExtension ( const std::string &  type)
virtual

Definition at line 2743 of file constraint_solver.cc.

◆ EndVisitIntegerExpression()

void EndVisitIntegerExpression ( const std::string &  type_name,
const IntExpr *const  expr 
)
virtual

Reimplemented in ModelParser.

Definition at line 2747 of file constraint_solver.cc.

◆ EndVisitModel()

void EndVisitModel ( const std::string &  type_name)
virtual

Reimplemented in RoutingModelInspector, and ModelParser.

Definition at line 2735 of file constraint_solver.cc.

◆ 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.

Definition at line 2825 of file constraint_solver.cc.

◆ VisitInt64ToInt64AsArray()

void VisitInt64ToInt64AsArray ( const Solver::IndexEvaluator1 eval,
const std::string &  arg_name,
int64  index_max 
)

Expands function as array when index min is 0.

Definition at line 2854 of file constraint_solver.cc.

◆ VisitInt64ToInt64Extension()

void VisitInt64ToInt64Extension ( const Solver::IndexEvaluator1 eval,
int64  index_min,
int64  index_max 
)

Definition at line 2840 of file constraint_solver.cc.

◆ VisitIntegerArgument()

void VisitIntegerArgument ( const std::string &  arg_name,
int64  value 
)
virtual

Visit integer arguments.

Reimplemented in ModelParser.

Definition at line 2780 of file constraint_solver.cc.

◆ VisitIntegerArrayArgument()

void VisitIntegerArrayArgument ( const std::string &  arg_name,
const std::vector< int64 > &  values 
)
virtual

Reimplemented in RoutingModelInspector, and ModelParser.

Definition at line 2783 of file constraint_solver.cc.

◆ VisitIntegerExpressionArgument()

void VisitIntegerExpressionArgument ( const std::string &  arg_name,
IntExpr *const  argument 
)
virtual

Visit integer expression argument.

Reimplemented in RoutingModelInspector, and ModelParser.

Definition at line 2790 of file constraint_solver.cc.

◆ VisitIntegerMatrixArgument()

void VisitIntegerMatrixArgument ( const std::string &  arg_name,
const IntTupleSet tuples 
)
virtual

Reimplemented in ModelParser.

Definition at line 2787 of file constraint_solver.cc.

◆ VisitIntegerVariable() [1/2]

void VisitIntegerVariable ( const IntVar *const  variable,
const std::string &  operation,
int64  value,
IntVar *const  delegate 
)
virtual

Reimplemented in ModelParser.

Definition at line 2757 of file constraint_solver.cc.

◆ VisitIntegerVariable() [2/2]

void VisitIntegerVariable ( const IntVar *const  variable,
IntExpr *const  delegate 
)
virtual

Reimplemented in ModelParser.

Definition at line 2750 of file constraint_solver.cc.

◆ VisitIntegerVariableArrayArgument()

void VisitIntegerVariableArrayArgument ( const std::string &  arg_name,
const std::vector< IntVar * > &  arguments 
)
virtual

Reimplemented in ModelParser.

Definition at line 2798 of file constraint_solver.cc.

◆ VisitIntegerVariableEvaluatorArgument()

void VisitIntegerVariableEvaluatorArgument ( const std::string &  arg_name,
const Solver::Int64ToIntVar arguments 
)
virtual

Helpers.

Definition at line 2795 of file constraint_solver.cc.

◆ VisitIntervalArgument()

void VisitIntervalArgument ( const std::string &  arg_name,
IntervalVar *const  argument 
)
virtual

Visit interval argument.

Reimplemented in ModelParser.

Definition at line 2803 of file constraint_solver.cc.

◆ VisitIntervalArrayArgument()

void VisitIntervalArrayArgument ( const std::string &  arg_name,
const std::vector< IntervalVar * > &  arguments 
)
virtual

Reimplemented in ModelParser.

Definition at line 2808 of file constraint_solver.cc.

◆ VisitIntervalVariable()

void VisitIntervalVariable ( const IntervalVar *const  variable,
const std::string &  operation,
int64  value,
IntervalVar *const  delegate 
)
virtual

Reimplemented in ModelParser.

Definition at line 2765 of file constraint_solver.cc.

◆ VisitSequenceArgument()

void VisitSequenceArgument ( const std::string &  arg_name,
SequenceVar *const  argument 
)
virtual

Visit sequence argument.

Reimplemented in ModelParser.

Definition at line 2813 of file constraint_solver.cc.

◆ VisitSequenceArrayArgument()

void VisitSequenceArrayArgument ( const std::string &  arg_name,
const std::vector< SequenceVar * > &  arguments 
)
virtual

Reimplemented in ModelParser.

Definition at line 2818 of file constraint_solver.cc.

◆ VisitSequenceVariable()

void VisitSequenceVariable ( const SequenceVar *const  variable)
virtual

Reimplemented in ModelParser.

Definition at line 2774 of file constraint_solver.cc.

Member Data Documentation

◆ kAbs

const char kAbs = "Abs"
static

Constraint and Expression types.

Definition at line 3337 of file constraint_solver.h.

◆ kAbsEqual

const char kAbsEqual = "AbsEqual"
static

Definition at line 3338 of file constraint_solver.h.

◆ kActiveArgument

const char kActiveArgument = "active"
static

argument names:

Definition at line 3435 of file constraint_solver.h.

◆ kAllDifferent

const char kAllDifferent = "AllDifferent"
static

Definition at line 3339 of file constraint_solver.h.

◆ kAllowedAssignments

const char kAllowedAssignments = "AllowedAssignments"
static

Definition at line 3340 of file constraint_solver.h.

◆ kAssumePathsArgument

const char kAssumePathsArgument = "assume_paths"
static

Definition at line 3436 of file constraint_solver.h.

◆ kAtMost

const char kAtMost = "AtMost"
static

Definition at line 3341 of file constraint_solver.h.

◆ kBetween

const char kBetween = "Between"
static

Definition at line 3343 of file constraint_solver.h.

◆ kBranchesLimitArgument

const char kBranchesLimitArgument = "branches_limit"
static

Definition at line 3437 of file constraint_solver.h.

◆ kCapacityArgument

const char kCapacityArgument = "capacity"
static

Definition at line 3438 of file constraint_solver.h.

◆ kCardsArgument

const char kCardsArgument = "cardinalities"
static

Definition at line 3439 of file constraint_solver.h.

◆ kCircuit

const char kCircuit = "Circuit"
static

Definition at line 3345 of file constraint_solver.h.

◆ kCoefficientsArgument

const char kCoefficientsArgument = "coefficients"
static

Definition at line 3440 of file constraint_solver.h.

◆ kConditionalExpr

const char kConditionalExpr = "ConditionalExpr"
static

Definition at line 3344 of file constraint_solver.h.

◆ kConvexPiecewise

const char kConvexPiecewise = "ConvexPiecewise"
static

Definition at line 3346 of file constraint_solver.h.

◆ kCountArgument

const char kCountArgument = "count"
static

Definition at line 3441 of file constraint_solver.h.

◆ kCountAssignedItemsExtension

const char kCountAssignedItemsExtension = "CountAssignedItems"
static

Extension names:

Definition at line 3421 of file constraint_solver.h.

◆ kCountEqual

const char kCountEqual = "CountEqual"
static

Definition at line 3347 of file constraint_solver.h.

◆ kCountUsedBinsExtension

const char kCountUsedBinsExtension = "CountUsedBins"
static

Definition at line 3422 of file constraint_solver.h.

◆ kCover

const char kCover = "Cover"
static

Definition at line 3348 of file constraint_solver.h.

◆ kCumulative

const char kCumulative = "Cumulative"
static

Definition at line 3349 of file constraint_solver.h.

◆ kCumulativeArgument

const char kCumulativeArgument = "cumulative"
static

Definition at line 3442 of file constraint_solver.h.

◆ kCumulsArgument

const char kCumulsArgument = "cumuls"
static

Definition at line 3443 of file constraint_solver.h.

◆ kDelayedPathCumul

const char kDelayedPathCumul = "DelayedPathCumul"
static

Definition at line 3397 of file constraint_solver.h.

◆ kDemandsArgument

const char kDemandsArgument = "demands"
static

Definition at line 3444 of file constraint_solver.h.

◆ kDeviation

const char kDeviation = "Deviation"
static

Definition at line 3350 of file constraint_solver.h.

◆ kDifference

const char kDifference = "Difference"
static

Definition at line 3351 of file constraint_solver.h.

◆ kDifferenceOperation

const char kDifferenceOperation = "difference"
static

Definition at line 3502 of file constraint_solver.h.

◆ kDisjunctive

const char kDisjunctive = "Disjunctive"
static

Definition at line 3352 of file constraint_solver.h.

◆ kDistribute

const char kDistribute = "Distribute"
static

Definition at line 3353 of file constraint_solver.h.

◆ kDivide

const char kDivide = "Divide"
static

Definition at line 3354 of file constraint_solver.h.

◆ kDurationExpr

const char kDurationExpr = "DurationExpression"
static

Definition at line 3355 of file constraint_solver.h.

◆ kDurationMaxArgument

const char kDurationMaxArgument = "duration_max"
static

Definition at line 3445 of file constraint_solver.h.

◆ kDurationMinArgument

const char kDurationMinArgument = "duration_min"
static

Definition at line 3446 of file constraint_solver.h.

◆ kEarlyCostArgument

const char kEarlyCostArgument = "early_cost"
static

Definition at line 3447 of file constraint_solver.h.

◆ kEarlyDateArgument

const char kEarlyDateArgument = "early_date"
static

Definition at line 3448 of file constraint_solver.h.

◆ kElement

const char kElement = "Element"
static

Definition at line 3356 of file constraint_solver.h.

◆ kElementEqual

const char kElementEqual = "ElementEqual"
static

Definition at line 3357 of file constraint_solver.h.

◆ kEndExpr

const char kEndExpr = "EndExpression"
static

Definition at line 3358 of file constraint_solver.h.

◆ kEndMaxArgument

const char kEndMaxArgument = "end_max"
static

Definition at line 3449 of file constraint_solver.h.

◆ kEndMinArgument

const char kEndMinArgument = "end_min"
static

Definition at line 3450 of file constraint_solver.h.

◆ kEndsArgument

const char kEndsArgument = "ends"
static

Definition at line 3451 of file constraint_solver.h.

◆ kEquality

const char kEquality = "Equal"
static

Definition at line 3359 of file constraint_solver.h.

◆ kEvaluatorArgument

const char kEvaluatorArgument = "evaluator"
static

Definition at line 3495 of file constraint_solver.h.

◆ kExpressionArgument

const char kExpressionArgument = "expression"
static

Definition at line 3452 of file constraint_solver.h.

◆ kFailuresLimitArgument

const char kFailuresLimitArgument = "failures_limit"
static

Definition at line 3453 of file constraint_solver.h.

◆ kFalseConstraint

const char kFalseConstraint = "FalseConstraint"
static

Definition at line 3360 of file constraint_solver.h.

◆ kFinalStatesArgument

const char kFinalStatesArgument = "final_states"
static

Definition at line 3454 of file constraint_solver.h.

◆ kFixedChargeArgument

const char kFixedChargeArgument = "fixed_charge"
static

Definition at line 3455 of file constraint_solver.h.

◆ kGlobalCardinality

const char kGlobalCardinality = "GlobalCardinality"
static

Definition at line 3361 of file constraint_solver.h.

◆ kGreater

const char kGreater = "Greater"
static

Definition at line 3362 of file constraint_solver.h.

◆ kGreaterOrEqual

const char kGreaterOrEqual = "GreaterOrEqual"
static

Definition at line 3363 of file constraint_solver.h.

◆ kIndex2Argument

const char kIndex2Argument = "index2"
static

Definition at line 3456 of file constraint_solver.h.

◆ kIndexArgument

const char kIndexArgument = "index"
static

Definition at line 3457 of file constraint_solver.h.

◆ kIndexOf

const char kIndexOf = "IndexOf"
static

Definition at line 3342 of file constraint_solver.h.

◆ kInitialState

const char kInitialState = "initial_state"
static

Definition at line 3458 of file constraint_solver.h.

◆ kInt64ToBoolExtension

const char kInt64ToBoolExtension = "Int64ToBoolFunction"
static

Definition at line 3423 of file constraint_solver.h.

◆ kInt64ToInt64Extension

const char kInt64ToInt64Extension = "Int64ToInt64Function"
static

Definition at line 3424 of file constraint_solver.h.

◆ kIntegerVariable

const char kIntegerVariable = "IntegerVariable"
static

Definition at line 3364 of file constraint_solver.h.

◆ kIntervalArgument

const char kIntervalArgument = "interval"
static

Definition at line 3459 of file constraint_solver.h.

◆ kIntervalBinaryRelation

const char kIntervalBinaryRelation = "IntervalBinaryRelation"
static

Definition at line 3365 of file constraint_solver.h.

◆ kIntervalDisjunction

const char kIntervalDisjunction = "IntervalDisjunction"
static

Definition at line 3366 of file constraint_solver.h.

◆ kIntervalsArgument

const char kIntervalsArgument = "intervals"
static

Definition at line 3460 of file constraint_solver.h.

◆ kIntervalUnaryRelation

const char kIntervalUnaryRelation = "IntervalUnaryRelation"
static

Definition at line 3367 of file constraint_solver.h.

◆ kIntervalVariable

const char kIntervalVariable = "IntervalVariable"
static

Definition at line 3368 of file constraint_solver.h.

◆ kInversePermutation

const char kInversePermutation = "InversePermutation"
static

Definition at line 3369 of file constraint_solver.h.

◆ kIsBetween

const char kIsBetween = "IsBetween;"
static

Definition at line 3370 of file constraint_solver.h.

◆ kIsDifferent

const char kIsDifferent = "IsDifferent"
static

Definition at line 3371 of file constraint_solver.h.

◆ kIsEqual

const char kIsEqual = "IsEqual"
static

Definition at line 3372 of file constraint_solver.h.

◆ kIsGreater

const char kIsGreater = "IsGreater"
static

Definition at line 3373 of file constraint_solver.h.

◆ kIsGreaterOrEqual

const char kIsGreaterOrEqual = "IsGreaterOrEqual"
static

Definition at line 3374 of file constraint_solver.h.

◆ kIsLess

const char kIsLess = "IsLess"
static

Definition at line 3375 of file constraint_solver.h.

◆ kIsLessOrEqual

const char kIsLessOrEqual = "IsLessOrEqual"
static

Definition at line 3376 of file constraint_solver.h.

◆ kIsMember

const char kIsMember = "IsMember;"
static

Definition at line 3377 of file constraint_solver.h.

◆ kLateCostArgument

const char kLateCostArgument = "late_cost"
static

Definition at line 3461 of file constraint_solver.h.

◆ kLateDateArgument

const char kLateDateArgument = "late_date"
static

Definition at line 3462 of file constraint_solver.h.

◆ kLeftArgument

const char kLeftArgument = "left"
static

Definition at line 3463 of file constraint_solver.h.

◆ kLess

const char kLess = "Less"
static

Definition at line 3378 of file constraint_solver.h.

◆ kLessOrEqual

const char kLessOrEqual = "LessOrEqual"
static

Definition at line 3379 of file constraint_solver.h.

◆ kLexLess

const char kLexLess = "LexLess"
static

Definition at line 3380 of file constraint_solver.h.

◆ kLinkExprVar

const char kLinkExprVar = "CastExpressionIntoVariable"
static

Definition at line 3381 of file constraint_solver.h.

◆ kMapDomain

const char kMapDomain = "MapDomain"
static

Definition at line 3382 of file constraint_solver.h.

◆ kMax

const char kMax = "Max"
static

Definition at line 3383 of file constraint_solver.h.

◆ kMaxArgument

const char kMaxArgument = "max_value"
static

Definition at line 3464 of file constraint_solver.h.

◆ kMaxEqual

const char kMaxEqual = "MaxEqual"
static

Definition at line 3384 of file constraint_solver.h.

◆ kMaximizeArgument

const char kMaximizeArgument = "maximize"
static

Definition at line 3465 of file constraint_solver.h.

◆ kMember

const char kMember = "Member"
static

Definition at line 3385 of file constraint_solver.h.

◆ kMin

const char kMin = "Min"
static

Definition at line 3386 of file constraint_solver.h.

◆ kMinArgument

const char kMinArgument = "min_value"
static

Definition at line 3466 of file constraint_solver.h.

◆ kMinEqual

const char kMinEqual = "MinEqual"
static

Definition at line 3387 of file constraint_solver.h.

◆ kMirrorOperation

const char kMirrorOperation = "mirror"
static

Operations.

Definition at line 3498 of file constraint_solver.h.

◆ kModulo

const char kModulo = "Modulo"
static

Definition at line 3388 of file constraint_solver.h.

◆ kModuloArgument

const char kModuloArgument = "modulo"
static

Definition at line 3467 of file constraint_solver.h.

◆ kNextsArgument

const char kNextsArgument = "nexts"
static

Definition at line 3468 of file constraint_solver.h.

◆ kNoCycle

const char kNoCycle = "NoCycle"
static

Definition at line 3389 of file constraint_solver.h.

◆ kNonEqual

const char kNonEqual = "NonEqual"
static

Definition at line 3390 of file constraint_solver.h.

◆ kNotBetween

const char kNotBetween = "NotBetween"
static

Definition at line 3391 of file constraint_solver.h.

◆ kNotMember

const char kNotMember = "NotMember"
static

Definition at line 3392 of file constraint_solver.h.

◆ kNullIntersect

const char kNullIntersect = "NullIntersect"
static

Definition at line 3393 of file constraint_solver.h.

◆ kObjectiveExtension

const char kObjectiveExtension = "Objective"
static

Definition at line 3425 of file constraint_solver.h.

◆ kOpposite

const char kOpposite = "Opposite"
static

Definition at line 3394 of file constraint_solver.h.

◆ kOptionalArgument

const char kOptionalArgument = "optional"
static

Definition at line 3469 of file constraint_solver.h.

◆ kPack

const char kPack = "Pack"
static

Definition at line 3395 of file constraint_solver.h.

◆ kPartialArgument

const char kPartialArgument = "partial"
static

Definition at line 3470 of file constraint_solver.h.

◆ kPathCumul

const char kPathCumul = "PathCumul"
static

Definition at line 3396 of file constraint_solver.h.

◆ kPerformedExpr

const char kPerformedExpr = "PerformedExpression"
static

Definition at line 3398 of file constraint_solver.h.

◆ kPositionXArgument

const char kPositionXArgument = "position_x"
static

Definition at line 3471 of file constraint_solver.h.

◆ kPositionYArgument

const char kPositionYArgument = "position_y"
static

Definition at line 3472 of file constraint_solver.h.

◆ kPower

const char kPower = "Power"
static

Definition at line 3399 of file constraint_solver.h.

◆ kProduct

const char kProduct = "Product"
static

Definition at line 3400 of file constraint_solver.h.

◆ kProductOperation

const char kProductOperation = "product"
static

Definition at line 3503 of file constraint_solver.h.

◆ kRangeArgument

const char kRangeArgument = "range"
static

Definition at line 3473 of file constraint_solver.h.

◆ kRelationArgument

const char kRelationArgument = "relation"
static

Definition at line 3474 of file constraint_solver.h.

◆ kRelaxedMaxOperation

const char kRelaxedMaxOperation = "relaxed_max"
static

Definition at line 3499 of file constraint_solver.h.

◆ kRelaxedMinOperation

const char kRelaxedMinOperation = "relaxed_min"
static

Definition at line 3500 of file constraint_solver.h.

◆ kRightArgument

const char kRightArgument = "right"
static

Definition at line 3475 of file constraint_solver.h.

◆ kScalProd

const char kScalProd = "ScalarProduct"
static

Definition at line 3401 of file constraint_solver.h.

◆ kScalProdEqual

const char kScalProdEqual = "ScalarProductEqual"
static

Definition at line 3402 of file constraint_solver.h.

◆ kScalProdGreaterOrEqual

const char kScalProdGreaterOrEqual
static
Initial value:
=
"ScalarProductGreaterOrEqual"

Definition at line 3403 of file constraint_solver.h.

◆ kScalProdLessOrEqual

const char kScalProdLessOrEqual = "ScalarProductLessOrEqual"
static

Definition at line 3404 of file constraint_solver.h.

◆ kSearchLimitExtension

const char kSearchLimitExtension = "SearchLimit"
static

Definition at line 3426 of file constraint_solver.h.

◆ kSemiContinuous

const char kSemiContinuous = "SemiContinuous"
static

Definition at line 3405 of file constraint_solver.h.

◆ kSequenceArgument

const char kSequenceArgument = "sequence"
static

Definition at line 3476 of file constraint_solver.h.

◆ kSequencesArgument

const char kSequencesArgument = "sequences"
static

Definition at line 3477 of file constraint_solver.h.

◆ kSequenceVariable

const char kSequenceVariable = "SequenceVariable"
static

Definition at line 3406 of file constraint_solver.h.

◆ kSizeArgument

const char kSizeArgument = "size"
static

Definition at line 3478 of file constraint_solver.h.

◆ kSizeXArgument

const char kSizeXArgument = "size_x"
static

Definition at line 3479 of file constraint_solver.h.

◆ kSizeYArgument

const char kSizeYArgument = "size_y"
static

Definition at line 3480 of file constraint_solver.h.

◆ kSmartTimeCheckArgument

const char kSmartTimeCheckArgument = "smart_time_check"
static

Definition at line 3481 of file constraint_solver.h.

◆ kSolutionLimitArgument

const char kSolutionLimitArgument = "solutions_limit"
static

Definition at line 3482 of file constraint_solver.h.

◆ kSortingConstraint

const char kSortingConstraint = "SortingConstraint"
static

Definition at line 3407 of file constraint_solver.h.

◆ kSquare

const char kSquare = "Square"
static

Definition at line 3408 of file constraint_solver.h.

◆ kStartExpr

const char kStartExpr = "StartExpression"
static

Definition at line 3409 of file constraint_solver.h.

◆ kStartMaxArgument

const char kStartMaxArgument = "start_max"
static

Definition at line 3483 of file constraint_solver.h.

◆ kStartMinArgument

const char kStartMinArgument = "start_min"
static

Definition at line 3484 of file constraint_solver.h.

◆ kStartsArgument

const char kStartsArgument = "starts"
static

Definition at line 3485 of file constraint_solver.h.

◆ kStartSyncOnEndOperation

const char kStartSyncOnEndOperation = "start_synced_on_end"
static

Definition at line 3505 of file constraint_solver.h.

◆ kStartSyncOnStartOperation

const char kStartSyncOnStartOperation = "start_synced_on_start"
static

Definition at line 3504 of file constraint_solver.h.

◆ kStepArgument

const char kStepArgument = "step"
static

Definition at line 3486 of file constraint_solver.h.

◆ kSum

const char kSum = "Sum"
static

Definition at line 3410 of file constraint_solver.h.

◆ kSumEqual

const char kSumEqual = "SumEqual"
static

Definition at line 3411 of file constraint_solver.h.

◆ kSumGreaterOrEqual

const char kSumGreaterOrEqual = "SumGreaterOrEqual"
static

Definition at line 3412 of file constraint_solver.h.

◆ kSumLessOrEqual

const char kSumLessOrEqual = "SumLessOrEqual"
static

Definition at line 3413 of file constraint_solver.h.

◆ kSumOperation

const char kSumOperation = "sum"
static

Definition at line 3501 of file constraint_solver.h.

◆ kTargetArgument

const char kTargetArgument = "target_variable"
static

Definition at line 3487 of file constraint_solver.h.

◆ kTimeLimitArgument

const char kTimeLimitArgument = "time_limit"
static

Definition at line 3488 of file constraint_solver.h.

◆ kTrace

const char kTrace = "Trace"
static

Definition at line 3414 of file constraint_solver.h.

◆ kTraceOperation

const char kTraceOperation = "trace"
static

Definition at line 3506 of file constraint_solver.h.

◆ kTransition

const char kTransition = "Transition"
static

Definition at line 3415 of file constraint_solver.h.

◆ kTransitsArgument

const char kTransitsArgument = "transits"
static

Definition at line 3489 of file constraint_solver.h.

◆ kTrueConstraint

const char kTrueConstraint = "TrueConstraint"
static

Definition at line 3416 of file constraint_solver.h.

◆ kTuplesArgument

const char kTuplesArgument = "tuples"
static

Definition at line 3490 of file constraint_solver.h.

◆ kUsageEqualVariableExtension

const char kUsageEqualVariableExtension = "UsageEqualVariable"
static

Definition at line 3427 of file constraint_solver.h.

◆ kUsageLessConstantExtension

const char kUsageLessConstantExtension = "UsageLessConstant"
static

Definition at line 3429 of file constraint_solver.h.

◆ kValueArgument

const char kValueArgument = "value"
static

Definition at line 3491 of file constraint_solver.h.

◆ kValuesArgument

const char kValuesArgument = "values"
static

Definition at line 3492 of file constraint_solver.h.

◆ kVarBoundWatcher

const char kVarBoundWatcher = "VarBoundWatcher"
static

Definition at line 3417 of file constraint_solver.h.

◆ kVariableArgument

const char kVariableArgument = "variable"
static

Definition at line 3493 of file constraint_solver.h.

◆ kVariableGroupExtension

const char kVariableGroupExtension = "VariableGroup"
static

Definition at line 3430 of file constraint_solver.h.

◆ kVariableUsageLessConstantExtension

const char kVariableUsageLessConstantExtension
static
Initial value:
=
"VariableUsageLessConstant"

Definition at line 3431 of file constraint_solver.h.

◆ kVarsArgument

const char kVarsArgument = "variables"
static

Definition at line 3494 of file constraint_solver.h.

◆ kVarValueWatcher

const char kVarValueWatcher = "VarValueWatcher"
static

Definition at line 3418 of file constraint_solver.h.

◆ kWeightedSumOfAssignedEqualVariableExtension

const char kWeightedSumOfAssignedEqualVariableExtension
static
Initial value:
=
"WeightedSumOfAssignedEqualVariable"

Definition at line 3432 of file constraint_solver.h.


The documentation for this class was generated from the following files: