Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | List of all members
operations_research::ModelVisitor Class Reference

Model visitor. More...

#include <constraint_solver.h>

Inheritance diagram for operations_research::ModelVisitor:
operations_research::BaseObject operations_research::ModelParser operations_research::RoutingModelInspector

Public Member Functions

 ~ModelVisitor () override
 Methods.
 
virtual void BeginVisitModel (const std::string &type_name)
 --— Virtual methods for visitors --—
 
virtual void EndVisitModel (const std::string &type_name)
 
virtual void BeginVisitConstraint (const std::string &type_name, const Constraint *constraint)
 
virtual void EndVisitConstraint (const std::string &type_name, const Constraint *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 *expr)
 
virtual void EndVisitIntegerExpression (const std::string &type_name, const IntExpr *expr)
 
virtual void VisitIntegerVariable (const IntVar *variable, IntExpr *delegate)
 
virtual void VisitIntegerVariable (const IntVar *variable, const std::string &operation, int64_t value, IntVar *delegate)
 
virtual void VisitIntervalVariable (const IntervalVar *variable, const std::string &operation, int64_t value, IntervalVar *delegate)
 
virtual void VisitSequenceVariable (const SequenceVar *variable)
 
virtual void VisitIntegerArgument (const std::string &arg_name, int64_t value)
 Visit integer arguments.
 
virtual void VisitIntegerArrayArgument (const std::string &arg_name, const std::vector< int64_t > &values)
 
virtual void VisitIntegerMatrixArgument (const std::string &arg_name, const IntTupleSet &tuples)
 
virtual void VisitIntegerExpressionArgument (const std::string &arg_name, IntExpr *argument)
 Visit integer expression argument.
 
virtual void VisitIntegerVariableArrayArgument (const std::string &arg_name, const std::vector< IntVar * > &arguments)
 
virtual void VisitIntervalArgument (const std::string &arg_name, IntervalVar *argument)
 Visit interval argument.
 
virtual void VisitIntervalArrayArgument (const std::string &arg_name, const std::vector< IntervalVar * > &arguments)
 
virtual void VisitSequenceArgument (const std::string &arg_name, SequenceVar *argument)
 Visit sequence argument.
 
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.
 
void VisitInt64ToBoolExtension (Solver::IndexFilter1 filter, int64_t index_min, int64_t index_max)
 --— Helpers --—
 
void VisitInt64ToInt64Extension (const Solver::IndexEvaluator1 &eval, int64_t index_min, int64_t index_max)
 
void VisitInt64ToInt64AsArray (const Solver::IndexEvaluator1 &eval, const std::string &arg_name, int64_t index_max)
 Expands function as array when index min is 0.
 
- Public Member Functions inherited from operations_research::BaseObject
 BaseObject ()
 
 BaseObject (const BaseObject &)=delete
 This type is neither copyable nor movable.
 
BaseObject & operator= (const BaseObject &)=delete
 
virtual ~BaseObject ()
 
virtual std::string DebugString () const
 

Static Public Attributes

static const char kAbs [] = "Abs"
 Constraint and Expression types.
 
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 kLightElementEqual [] = "LightElementEqual"
 
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:
 
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:
 
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.
 
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"
 

Detailed Description

Model visitor.

Definition at line 3597 of file constraint_solver.h.

Constructor & Destructor Documentation

◆ ~ModelVisitor()

operations_research::ModelVisitor::~ModelVisitor ( )
override

Methods.

Definition at line 2729 of file constraint_solver.cc.

Member Function Documentation

◆ BeginVisitConstraint()

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

Reimplemented in operations_research::ModelParser.

Definition at line 2736 of file constraint_solver.cc.

◆ BeginVisitExtension()

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

Definition at line 2743 of file constraint_solver.cc.

◆ BeginVisitIntegerExpression()

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

Reimplemented in operations_research::ModelParser.

Definition at line 2748 of file constraint_solver.cc.

◆ BeginVisitModel()

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

--— Virtual methods for visitors --—

Begin/End visit element.

Reimplemented in operations_research::ModelParser.

Definition at line 2731 of file constraint_solver.cc.

◆ EndVisitConstraint()

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

Reimplemented in operations_research::ModelParser, and operations_research::RoutingModelInspector.

Definition at line 2739 of file constraint_solver.cc.

◆ EndVisitExtension()

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

Definition at line 2745 of file constraint_solver.cc.

◆ EndVisitIntegerExpression()

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

Reimplemented in operations_research::ModelParser.

Definition at line 2751 of file constraint_solver.cc.

◆ EndVisitModel()

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

Reimplemented in operations_research::ModelParser, and operations_research::RoutingModelInspector.

Definition at line 2733 of file constraint_solver.cc.

◆ VisitInt64ToBoolExtension()

void operations_research::ModelVisitor::VisitInt64ToBoolExtension ( Solver::IndexFilter1 filter,
int64_t index_min,
int64_t index_max )

--— Helpers --—

Using SWIG on callbacks is troublesome, so we hide these methods during the wrapping.

Definition at line 2837 of file constraint_solver.cc.

◆ VisitInt64ToInt64AsArray()

void operations_research::ModelVisitor::VisitInt64ToInt64AsArray ( const Solver::IndexEvaluator1 & eval,
const std::string & arg_name,
int64_t index_max )

Expands function as array when index min is 0.

Definition at line 2867 of file constraint_solver.cc.

◆ VisitInt64ToInt64Extension()

void operations_research::ModelVisitor::VisitInt64ToInt64Extension ( const Solver::IndexEvaluator1 & eval,
int64_t index_min,
int64_t index_max )

Definition at line 2853 of file constraint_solver.cc.

◆ VisitIntegerArgument()

void operations_research::ModelVisitor::VisitIntegerArgument ( const std::string & arg_name,
int64_t value )
virtual

Visit integer arguments.

Reimplemented in operations_research::ModelParser.

Definition at line 2786 of file constraint_solver.cc.

◆ VisitIntegerArrayArgument()

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

Reimplemented in operations_research::ModelParser, and operations_research::RoutingModelInspector.

Definition at line 2790 of file constraint_solver.cc.

◆ VisitIntegerExpressionArgument()

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

Visit integer expression argument.

Reimplemented in operations_research::ModelParser, and operations_research::RoutingModelInspector.

Definition at line 2798 of file constraint_solver.cc.

◆ VisitIntegerMatrixArgument()

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

Reimplemented in operations_research::ModelParser.

Definition at line 2794 of file constraint_solver.cc.

◆ VisitIntegerVariable() [1/2]

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

Reimplemented in operations_research::ModelParser.

Definition at line 2762 of file constraint_solver.cc.

◆ VisitIntegerVariable() [2/2]

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

Reimplemented in operations_research::ModelParser.

Definition at line 2755 of file constraint_solver.cc.

◆ VisitIntegerVariableArrayArgument()

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

Reimplemented in operations_research::ModelParser.

Definition at line 2807 of file constraint_solver.cc.

◆ VisitIntegerVariableEvaluatorArgument()

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

Helpers.

Definition at line 2803 of file constraint_solver.cc.

◆ VisitIntervalArgument()

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

Visit interval argument.

Reimplemented in operations_research::ModelParser.

Definition at line 2813 of file constraint_solver.cc.

◆ VisitIntervalArrayArgument()

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

Reimplemented in operations_research::ModelParser.

Definition at line 2818 of file constraint_solver.cc.

◆ VisitIntervalVariable()

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

Reimplemented in operations_research::ModelParser.

Definition at line 2771 of file constraint_solver.cc.

◆ VisitSequenceArgument()

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

Visit sequence argument.

Reimplemented in operations_research::ModelParser.

Definition at line 2824 of file constraint_solver.cc.

◆ VisitSequenceArrayArgument()

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

Reimplemented in operations_research::ModelParser.

Definition at line 2829 of file constraint_solver.cc.

◆ VisitSequenceVariable()

void operations_research::ModelVisitor::VisitSequenceVariable ( const SequenceVar * variable)
virtual

Reimplemented in operations_research::ModelParser.

Definition at line 2780 of file constraint_solver.cc.

Member Data Documentation

◆ kAbs

const char operations_research::ModelVisitor::kAbs = "Abs"
static

Constraint and Expression types.

-------— ModelVisitor -------—

Tags for constraints, arguments, extensions.

Definition at line 3600 of file constraint_solver.h.

◆ kAbsEqual

const char operations_research::ModelVisitor::kAbsEqual = "AbsEqual"
static

Definition at line 3601 of file constraint_solver.h.

◆ kActiveArgument

const char operations_research::ModelVisitor::kActiveArgument = "active"
static

argument names:

Definition at line 3699 of file constraint_solver.h.

◆ kAllDifferent

const char operations_research::ModelVisitor::kAllDifferent = "AllDifferent"
static

Definition at line 3602 of file constraint_solver.h.

◆ kAllowedAssignments

const char operations_research::ModelVisitor::kAllowedAssignments = "AllowedAssignments"
static

Definition at line 3603 of file constraint_solver.h.

◆ kAssumePathsArgument

const char operations_research::ModelVisitor::kAssumePathsArgument = "assume_paths"
static

Definition at line 3700 of file constraint_solver.h.

◆ kAtMost

const char operations_research::ModelVisitor::kAtMost = "AtMost"
static

Definition at line 3604 of file constraint_solver.h.

◆ kBetween

const char operations_research::ModelVisitor::kBetween = "Between"
static

Definition at line 3606 of file constraint_solver.h.

◆ kBranchesLimitArgument

const char operations_research::ModelVisitor::kBranchesLimitArgument = "branches_limit"
static

Definition at line 3701 of file constraint_solver.h.

◆ kCapacityArgument

const char operations_research::ModelVisitor::kCapacityArgument = "capacity"
static

Definition at line 3702 of file constraint_solver.h.

◆ kCardsArgument

const char operations_research::ModelVisitor::kCardsArgument = "cardinalities"
static

Definition at line 3703 of file constraint_solver.h.

◆ kCircuit

const char operations_research::ModelVisitor::kCircuit = "Circuit"
static

Definition at line 3608 of file constraint_solver.h.

◆ kCoefficientsArgument

const char operations_research::ModelVisitor::kCoefficientsArgument = "coefficients"
static

Definition at line 3704 of file constraint_solver.h.

◆ kConditionalExpr

const char operations_research::ModelVisitor::kConditionalExpr = "ConditionalExpr"
static

Definition at line 3607 of file constraint_solver.h.

◆ kConvexPiecewise

const char operations_research::ModelVisitor::kConvexPiecewise = "ConvexPiecewise"
static

Definition at line 3609 of file constraint_solver.h.

◆ kCountArgument

const char operations_research::ModelVisitor::kCountArgument = "count"
static

Definition at line 3705 of file constraint_solver.h.

◆ kCountAssignedItemsExtension

const char operations_research::ModelVisitor::kCountAssignedItemsExtension = "CountAssignedItems"
static

Extension names:

Definition at line 3685 of file constraint_solver.h.

◆ kCountEqual

const char operations_research::ModelVisitor::kCountEqual = "CountEqual"
static

Definition at line 3610 of file constraint_solver.h.

◆ kCountUsedBinsExtension

const char operations_research::ModelVisitor::kCountUsedBinsExtension = "CountUsedBins"
static

Definition at line 3686 of file constraint_solver.h.

◆ kCover

const char operations_research::ModelVisitor::kCover = "Cover"
static

Definition at line 3611 of file constraint_solver.h.

◆ kCumulative

const char operations_research::ModelVisitor::kCumulative = "Cumulative"
static

Definition at line 3612 of file constraint_solver.h.

◆ kCumulativeArgument

const char operations_research::ModelVisitor::kCumulativeArgument = "cumulative"
static

Definition at line 3706 of file constraint_solver.h.

◆ kCumulsArgument

const char operations_research::ModelVisitor::kCumulsArgument = "cumuls"
static

Definition at line 3707 of file constraint_solver.h.

◆ kDelayedPathCumul

const char operations_research::ModelVisitor::kDelayedPathCumul = "DelayedPathCumul"
static

Definition at line 3661 of file constraint_solver.h.

◆ kDemandsArgument

const char operations_research::ModelVisitor::kDemandsArgument = "demands"
static

Definition at line 3708 of file constraint_solver.h.

◆ kDeviation

const char operations_research::ModelVisitor::kDeviation = "Deviation"
static

Definition at line 3613 of file constraint_solver.h.

◆ kDifference

const char operations_research::ModelVisitor::kDifference = "Difference"
static

Definition at line 3614 of file constraint_solver.h.

◆ kDifferenceOperation

const char operations_research::ModelVisitor::kDifferenceOperation = "difference"
static

Definition at line 3766 of file constraint_solver.h.

◆ kDisjunctive

const char operations_research::ModelVisitor::kDisjunctive = "Disjunctive"
static

Definition at line 3615 of file constraint_solver.h.

◆ kDistribute

const char operations_research::ModelVisitor::kDistribute = "Distribute"
static

Definition at line 3616 of file constraint_solver.h.

◆ kDivide

const char operations_research::ModelVisitor::kDivide = "Divide"
static

Definition at line 3617 of file constraint_solver.h.

◆ kDurationExpr

const char operations_research::ModelVisitor::kDurationExpr = "DurationExpression"
static

Definition at line 3618 of file constraint_solver.h.

◆ kDurationMaxArgument

const char operations_research::ModelVisitor::kDurationMaxArgument = "duration_max"
static

Definition at line 3709 of file constraint_solver.h.

◆ kDurationMinArgument

const char operations_research::ModelVisitor::kDurationMinArgument = "duration_min"
static

Definition at line 3710 of file constraint_solver.h.

◆ kEarlyCostArgument

const char operations_research::ModelVisitor::kEarlyCostArgument = "early_cost"
static

Definition at line 3711 of file constraint_solver.h.

◆ kEarlyDateArgument

const char operations_research::ModelVisitor::kEarlyDateArgument = "early_date"
static

Definition at line 3712 of file constraint_solver.h.

◆ kElement

const char operations_research::ModelVisitor::kElement = "Element"
static

Definition at line 3619 of file constraint_solver.h.

◆ kElementEqual

const char operations_research::ModelVisitor::kElementEqual = "ElementEqual"
static

Definition at line 3621 of file constraint_solver.h.

◆ kEndExpr

const char operations_research::ModelVisitor::kEndExpr = "EndExpression"
static

Definition at line 3622 of file constraint_solver.h.

◆ kEndMaxArgument

const char operations_research::ModelVisitor::kEndMaxArgument = "end_max"
static

Definition at line 3713 of file constraint_solver.h.

◆ kEndMinArgument

const char operations_research::ModelVisitor::kEndMinArgument = "end_min"
static

Definition at line 3714 of file constraint_solver.h.

◆ kEndsArgument

const char operations_research::ModelVisitor::kEndsArgument = "ends"
static

Definition at line 3715 of file constraint_solver.h.

◆ kEquality

const char operations_research::ModelVisitor::kEquality = "Equal"
static

Definition at line 3623 of file constraint_solver.h.

◆ kEvaluatorArgument

const char operations_research::ModelVisitor::kEvaluatorArgument = "evaluator"
static

Definition at line 3759 of file constraint_solver.h.

◆ kExpressionArgument

const char operations_research::ModelVisitor::kExpressionArgument = "expression"
static

Definition at line 3716 of file constraint_solver.h.

◆ kFailuresLimitArgument

const char operations_research::ModelVisitor::kFailuresLimitArgument = "failures_limit"
static

Definition at line 3717 of file constraint_solver.h.

◆ kFalseConstraint

const char operations_research::ModelVisitor::kFalseConstraint = "FalseConstraint"
static

Definition at line 3624 of file constraint_solver.h.

◆ kFinalStatesArgument

const char operations_research::ModelVisitor::kFinalStatesArgument = "final_states"
static

Definition at line 3718 of file constraint_solver.h.

◆ kFixedChargeArgument

const char operations_research::ModelVisitor::kFixedChargeArgument = "fixed_charge"
static

Definition at line 3719 of file constraint_solver.h.

◆ kGlobalCardinality

const char operations_research::ModelVisitor::kGlobalCardinality = "GlobalCardinality"
static

Definition at line 3625 of file constraint_solver.h.

◆ kGreater

const char operations_research::ModelVisitor::kGreater = "Greater"
static

Definition at line 3626 of file constraint_solver.h.

◆ kGreaterOrEqual

const char operations_research::ModelVisitor::kGreaterOrEqual = "GreaterOrEqual"
static

Definition at line 3627 of file constraint_solver.h.

◆ kIndex2Argument

const char operations_research::ModelVisitor::kIndex2Argument = "index2"
static

Definition at line 3720 of file constraint_solver.h.

◆ kIndexArgument

const char operations_research::ModelVisitor::kIndexArgument = "index"
static

Definition at line 3721 of file constraint_solver.h.

◆ kIndexOf

const char operations_research::ModelVisitor::kIndexOf = "IndexOf"
static

Definition at line 3605 of file constraint_solver.h.

◆ kInitialState

const char operations_research::ModelVisitor::kInitialState = "initial_state"
static

Definition at line 3722 of file constraint_solver.h.

◆ kInt64ToBoolExtension

const char operations_research::ModelVisitor::kInt64ToBoolExtension = "Int64ToBoolFunction"
static

Definition at line 3687 of file constraint_solver.h.

◆ kInt64ToInt64Extension

const char operations_research::ModelVisitor::kInt64ToInt64Extension = "Int64ToInt64Function"
static

Definition at line 3688 of file constraint_solver.h.

◆ kIntegerVariable

const char operations_research::ModelVisitor::kIntegerVariable = "IntegerVariable"
static

Definition at line 3628 of file constraint_solver.h.

◆ kIntervalArgument

const char operations_research::ModelVisitor::kIntervalArgument = "interval"
static

Definition at line 3723 of file constraint_solver.h.

◆ kIntervalBinaryRelation

const char operations_research::ModelVisitor::kIntervalBinaryRelation = "IntervalBinaryRelation"
static

Definition at line 3629 of file constraint_solver.h.

◆ kIntervalDisjunction

const char operations_research::ModelVisitor::kIntervalDisjunction = "IntervalDisjunction"
static

Definition at line 3630 of file constraint_solver.h.

◆ kIntervalsArgument

const char operations_research::ModelVisitor::kIntervalsArgument = "intervals"
static

Definition at line 3724 of file constraint_solver.h.

◆ kIntervalUnaryRelation

const char operations_research::ModelVisitor::kIntervalUnaryRelation = "IntervalUnaryRelation"
static

Definition at line 3631 of file constraint_solver.h.

◆ kIntervalVariable

const char operations_research::ModelVisitor::kIntervalVariable = "IntervalVariable"
static

Definition at line 3632 of file constraint_solver.h.

◆ kInversePermutation

const char operations_research::ModelVisitor::kInversePermutation = "InversePermutation"
static

Definition at line 3633 of file constraint_solver.h.

◆ kIsBetween

const char operations_research::ModelVisitor::kIsBetween = "IsBetween;"
static

Definition at line 3634 of file constraint_solver.h.

◆ kIsDifferent

const char operations_research::ModelVisitor::kIsDifferent = "IsDifferent"
static

Definition at line 3635 of file constraint_solver.h.

◆ kIsEqual

const char operations_research::ModelVisitor::kIsEqual = "IsEqual"
static

Definition at line 3636 of file constraint_solver.h.

◆ kIsGreater

const char operations_research::ModelVisitor::kIsGreater = "IsGreater"
static

Definition at line 3637 of file constraint_solver.h.

◆ kIsGreaterOrEqual

const char operations_research::ModelVisitor::kIsGreaterOrEqual = "IsGreaterOrEqual"
static

Definition at line 3638 of file constraint_solver.h.

◆ kIsLess

const char operations_research::ModelVisitor::kIsLess = "IsLess"
static

Definition at line 3639 of file constraint_solver.h.

◆ kIsLessOrEqual

const char operations_research::ModelVisitor::kIsLessOrEqual = "IsLessOrEqual"
static

Definition at line 3640 of file constraint_solver.h.

◆ kIsMember

const char operations_research::ModelVisitor::kIsMember = "IsMember;"
static

Definition at line 3641 of file constraint_solver.h.

◆ kLateCostArgument

const char operations_research::ModelVisitor::kLateCostArgument = "late_cost"
static

Definition at line 3725 of file constraint_solver.h.

◆ kLateDateArgument

const char operations_research::ModelVisitor::kLateDateArgument = "late_date"
static

Definition at line 3726 of file constraint_solver.h.

◆ kLeftArgument

const char operations_research::ModelVisitor::kLeftArgument = "left"
static

Definition at line 3727 of file constraint_solver.h.

◆ kLess

const char operations_research::ModelVisitor::kLess = "Less"
static

Definition at line 3642 of file constraint_solver.h.

◆ kLessOrEqual

const char operations_research::ModelVisitor::kLessOrEqual = "LessOrEqual"
static

Definition at line 3643 of file constraint_solver.h.

◆ kLexLess

const char operations_research::ModelVisitor::kLexLess = "LexLess"
static

Definition at line 3644 of file constraint_solver.h.

◆ kLightElementEqual

const char operations_research::ModelVisitor::kLightElementEqual = "LightElementEqual"
static

Definition at line 3620 of file constraint_solver.h.

◆ kLinkExprVar

const char operations_research::ModelVisitor::kLinkExprVar = "CastExpressionIntoVariable"
static

Definition at line 3645 of file constraint_solver.h.

◆ kMapDomain

const char operations_research::ModelVisitor::kMapDomain = "MapDomain"
static

Definition at line 3646 of file constraint_solver.h.

◆ kMax

const char operations_research::ModelVisitor::kMax = "Max"
static

Definition at line 3647 of file constraint_solver.h.

◆ kMaxArgument

const char operations_research::ModelVisitor::kMaxArgument = "max_value"
static

Definition at line 3728 of file constraint_solver.h.

◆ kMaxEqual

const char operations_research::ModelVisitor::kMaxEqual = "MaxEqual"
static

Definition at line 3648 of file constraint_solver.h.

◆ kMaximizeArgument

const char operations_research::ModelVisitor::kMaximizeArgument = "maximize"
static

Definition at line 3729 of file constraint_solver.h.

◆ kMember

const char operations_research::ModelVisitor::kMember = "Member"
static

Definition at line 3649 of file constraint_solver.h.

◆ kMin

const char operations_research::ModelVisitor::kMin = "Min"
static

Definition at line 3650 of file constraint_solver.h.

◆ kMinArgument

const char operations_research::ModelVisitor::kMinArgument = "min_value"
static

Definition at line 3730 of file constraint_solver.h.

◆ kMinEqual

const char operations_research::ModelVisitor::kMinEqual = "MinEqual"
static

Definition at line 3651 of file constraint_solver.h.

◆ kMirrorOperation

const char operations_research::ModelVisitor::kMirrorOperation = "mirror"
static

Operations.

Definition at line 3762 of file constraint_solver.h.

◆ kModulo

const char operations_research::ModelVisitor::kModulo = "Modulo"
static

Definition at line 3652 of file constraint_solver.h.

◆ kModuloArgument

const char operations_research::ModelVisitor::kModuloArgument = "modulo"
static

Definition at line 3731 of file constraint_solver.h.

◆ kNextsArgument

const char operations_research::ModelVisitor::kNextsArgument = "nexts"
static

Definition at line 3732 of file constraint_solver.h.

◆ kNoCycle

const char operations_research::ModelVisitor::kNoCycle = "NoCycle"
static

Definition at line 3653 of file constraint_solver.h.

◆ kNonEqual

const char operations_research::ModelVisitor::kNonEqual = "NonEqual"
static

Definition at line 3654 of file constraint_solver.h.

◆ kNotBetween

const char operations_research::ModelVisitor::kNotBetween = "NotBetween"
static

Definition at line 3655 of file constraint_solver.h.

◆ kNotMember

const char operations_research::ModelVisitor::kNotMember = "NotMember"
static

Definition at line 3656 of file constraint_solver.h.

◆ kNullIntersect

const char operations_research::ModelVisitor::kNullIntersect = "NullIntersect"
static

Definition at line 3657 of file constraint_solver.h.

◆ kObjectiveExtension

const char operations_research::ModelVisitor::kObjectiveExtension = "Objective"
static

Definition at line 3689 of file constraint_solver.h.

◆ kOpposite

const char operations_research::ModelVisitor::kOpposite = "Opposite"
static

Definition at line 3658 of file constraint_solver.h.

◆ kOptionalArgument

const char operations_research::ModelVisitor::kOptionalArgument = "optional"
static

Definition at line 3733 of file constraint_solver.h.

◆ kPack

const char operations_research::ModelVisitor::kPack = "Pack"
static

Definition at line 3659 of file constraint_solver.h.

◆ kPartialArgument

const char operations_research::ModelVisitor::kPartialArgument = "partial"
static

Definition at line 3734 of file constraint_solver.h.

◆ kPathCumul

const char operations_research::ModelVisitor::kPathCumul = "PathCumul"
static

Definition at line 3660 of file constraint_solver.h.

◆ kPerformedExpr

const char operations_research::ModelVisitor::kPerformedExpr = "PerformedExpression"
static

Definition at line 3662 of file constraint_solver.h.

◆ kPositionXArgument

const char operations_research::ModelVisitor::kPositionXArgument = "position_x"
static

Definition at line 3735 of file constraint_solver.h.

◆ kPositionYArgument

const char operations_research::ModelVisitor::kPositionYArgument = "position_y"
static

Definition at line 3736 of file constraint_solver.h.

◆ kPower

const char operations_research::ModelVisitor::kPower = "Power"
static

Definition at line 3663 of file constraint_solver.h.

◆ kProduct

const char operations_research::ModelVisitor::kProduct = "Product"
static

Definition at line 3664 of file constraint_solver.h.

◆ kProductOperation

const char operations_research::ModelVisitor::kProductOperation = "product"
static

Definition at line 3767 of file constraint_solver.h.

◆ kRangeArgument

const char operations_research::ModelVisitor::kRangeArgument = "range"
static

Definition at line 3737 of file constraint_solver.h.

◆ kRelationArgument

const char operations_research::ModelVisitor::kRelationArgument = "relation"
static

Definition at line 3738 of file constraint_solver.h.

◆ kRelaxedMaxOperation

const char operations_research::ModelVisitor::kRelaxedMaxOperation = "relaxed_max"
static

Definition at line 3763 of file constraint_solver.h.

◆ kRelaxedMinOperation

const char operations_research::ModelVisitor::kRelaxedMinOperation = "relaxed_min"
static

Definition at line 3764 of file constraint_solver.h.

◆ kRightArgument

const char operations_research::ModelVisitor::kRightArgument = "right"
static

Definition at line 3739 of file constraint_solver.h.

◆ kScalProd

const char operations_research::ModelVisitor::kScalProd = "ScalarProduct"
static

Definition at line 3665 of file constraint_solver.h.

◆ kScalProdEqual

const char operations_research::ModelVisitor::kScalProdEqual = "ScalarProductEqual"
static

Definition at line 3666 of file constraint_solver.h.

◆ kScalProdGreaterOrEqual

const char operations_research::ModelVisitor::kScalProdGreaterOrEqual
static
Initial value:
=
"ScalarProductGreaterOrEqual"

Definition at line 3667 of file constraint_solver.h.

◆ kScalProdLessOrEqual

const char operations_research::ModelVisitor::kScalProdLessOrEqual = "ScalarProductLessOrEqual"
static

Definition at line 3668 of file constraint_solver.h.

◆ kSearchLimitExtension

const char operations_research::ModelVisitor::kSearchLimitExtension = "SearchLimit"
static

Definition at line 3690 of file constraint_solver.h.

◆ kSemiContinuous

const char operations_research::ModelVisitor::kSemiContinuous = "SemiContinuous"
static

Definition at line 3669 of file constraint_solver.h.

◆ kSequenceArgument

const char operations_research::ModelVisitor::kSequenceArgument = "sequence"
static

Definition at line 3740 of file constraint_solver.h.

◆ kSequencesArgument

const char operations_research::ModelVisitor::kSequencesArgument = "sequences"
static

Definition at line 3741 of file constraint_solver.h.

◆ kSequenceVariable

const char operations_research::ModelVisitor::kSequenceVariable = "SequenceVariable"
static

Definition at line 3670 of file constraint_solver.h.

◆ kSizeArgument

const char operations_research::ModelVisitor::kSizeArgument = "size"
static

Definition at line 3742 of file constraint_solver.h.

◆ kSizeXArgument

const char operations_research::ModelVisitor::kSizeXArgument = "size_x"
static

Definition at line 3743 of file constraint_solver.h.

◆ kSizeYArgument

const char operations_research::ModelVisitor::kSizeYArgument = "size_y"
static

Definition at line 3744 of file constraint_solver.h.

◆ kSmartTimeCheckArgument

const char operations_research::ModelVisitor::kSmartTimeCheckArgument = "smart_time_check"
static

Definition at line 3745 of file constraint_solver.h.

◆ kSolutionLimitArgument

const char operations_research::ModelVisitor::kSolutionLimitArgument = "solutions_limit"
static

Definition at line 3746 of file constraint_solver.h.

◆ kSortingConstraint

const char operations_research::ModelVisitor::kSortingConstraint = "SortingConstraint"
static

Definition at line 3671 of file constraint_solver.h.

◆ kSquare

const char operations_research::ModelVisitor::kSquare = "Square"
static

Definition at line 3672 of file constraint_solver.h.

◆ kStartExpr

const char operations_research::ModelVisitor::kStartExpr = "StartExpression"
static

Definition at line 3673 of file constraint_solver.h.

◆ kStartMaxArgument

const char operations_research::ModelVisitor::kStartMaxArgument = "start_max"
static

Definition at line 3747 of file constraint_solver.h.

◆ kStartMinArgument

const char operations_research::ModelVisitor::kStartMinArgument = "start_min"
static

Definition at line 3748 of file constraint_solver.h.

◆ kStartsArgument

const char operations_research::ModelVisitor::kStartsArgument = "starts"
static

Definition at line 3749 of file constraint_solver.h.

◆ kStartSyncOnEndOperation

const char operations_research::ModelVisitor::kStartSyncOnEndOperation = "start_synced_on_end"
static

Definition at line 3769 of file constraint_solver.h.

◆ kStartSyncOnStartOperation

const char operations_research::ModelVisitor::kStartSyncOnStartOperation = "start_synced_on_start"
static

Definition at line 3768 of file constraint_solver.h.

◆ kStepArgument

const char operations_research::ModelVisitor::kStepArgument = "step"
static

Definition at line 3750 of file constraint_solver.h.

◆ kSum

const char operations_research::ModelVisitor::kSum = "Sum"
static

Definition at line 3674 of file constraint_solver.h.

◆ kSumEqual

const char operations_research::ModelVisitor::kSumEqual = "SumEqual"
static

Definition at line 3675 of file constraint_solver.h.

◆ kSumGreaterOrEqual

const char operations_research::ModelVisitor::kSumGreaterOrEqual = "SumGreaterOrEqual"
static

Definition at line 3676 of file constraint_solver.h.

◆ kSumLessOrEqual

const char operations_research::ModelVisitor::kSumLessOrEqual = "SumLessOrEqual"
static

Definition at line 3677 of file constraint_solver.h.

◆ kSumOperation

const char operations_research::ModelVisitor::kSumOperation = "sum"
static

Definition at line 3765 of file constraint_solver.h.

◆ kTargetArgument

const char operations_research::ModelVisitor::kTargetArgument = "target_variable"
static

Definition at line 3751 of file constraint_solver.h.

◆ kTimeLimitArgument

const char operations_research::ModelVisitor::kTimeLimitArgument = "time_limit"
static

Definition at line 3752 of file constraint_solver.h.

◆ kTrace

const char operations_research::ModelVisitor::kTrace = "Trace"
static

Definition at line 3678 of file constraint_solver.h.

◆ kTraceOperation

const char operations_research::ModelVisitor::kTraceOperation = "trace"
static

Definition at line 3770 of file constraint_solver.h.

◆ kTransition

const char operations_research::ModelVisitor::kTransition = "Transition"
static

Definition at line 3679 of file constraint_solver.h.

◆ kTransitsArgument

const char operations_research::ModelVisitor::kTransitsArgument = "transits"
static

Definition at line 3753 of file constraint_solver.h.

◆ kTrueConstraint

const char operations_research::ModelVisitor::kTrueConstraint = "TrueConstraint"
static

Definition at line 3680 of file constraint_solver.h.

◆ kTuplesArgument

const char operations_research::ModelVisitor::kTuplesArgument = "tuples"
static

Definition at line 3754 of file constraint_solver.h.

◆ kUsageEqualVariableExtension

const char operations_research::ModelVisitor::kUsageEqualVariableExtension = "UsageEqualVariable"
static

Definition at line 3691 of file constraint_solver.h.

◆ kUsageLessConstantExtension

const char operations_research::ModelVisitor::kUsageLessConstantExtension = "UsageLessConstant"
static

Definition at line 3693 of file constraint_solver.h.

◆ kValueArgument

const char operations_research::ModelVisitor::kValueArgument = "value"
static

Definition at line 3755 of file constraint_solver.h.

◆ kValuesArgument

const char operations_research::ModelVisitor::kValuesArgument = "values"
static

Definition at line 3756 of file constraint_solver.h.

◆ kVarBoundWatcher

const char operations_research::ModelVisitor::kVarBoundWatcher = "VarBoundWatcher"
static

Definition at line 3681 of file constraint_solver.h.

◆ kVariableArgument

const char operations_research::ModelVisitor::kVariableArgument = "variable"
static

Definition at line 3757 of file constraint_solver.h.

◆ kVariableGroupExtension

const char operations_research::ModelVisitor::kVariableGroupExtension = "VariableGroup"
static

Definition at line 3694 of file constraint_solver.h.

◆ kVariableUsageLessConstantExtension

const char operations_research::ModelVisitor::kVariableUsageLessConstantExtension
static
Initial value:
=
"VariableUsageLessConstant"

Definition at line 3695 of file constraint_solver.h.

◆ kVarsArgument

const char operations_research::ModelVisitor::kVarsArgument = "variables"
static

Definition at line 3758 of file constraint_solver.h.

◆ kVarValueWatcher

const char operations_research::ModelVisitor::kVarValueWatcher = "VarValueWatcher"
static

Definition at line 3682 of file constraint_solver.h.

◆ kWeightedSumOfAssignedEqualVariableExtension

const char operations_research::ModelVisitor::kWeightedSumOfAssignedEqualVariableExtension
static
Initial value:
=
"WeightedSumOfAssignedEqualVariable"

Definition at line 3696 of file constraint_solver.h.

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