Package com.google.ortools.constraintsolver

Class ModelVisitor

  • public class ModelVisitor
extends BaseObject
    Model visitor.

    • Constructor Detail

      • ModelVisitor

        protected ModelVisitor​(long cPtr,
                       boolean cMemoryOwn)

      • ModelVisitor

        public ModelVisitor()

    • Method Detail

      • getCPtr

        protected static long getCPtr​(ModelVisitor obj)

      • swigRelease

        protected static long swigRelease​(ModelVisitor obj)

      • getKAbs

        public static java.lang.String getKAbs()
        Constraint and Expression types.

      • getKAbsEqual

        public static java.lang.String getKAbsEqual()

      • getKAllDifferent

        public static java.lang.String getKAllDifferent()

      • getKAllowedAssignments

        public static java.lang.String getKAllowedAssignments()

      • getKAtMost

        public static java.lang.String getKAtMost()

      • getKIndexOf

        public static java.lang.String getKIndexOf()

      • getKBetween

        public static java.lang.String getKBetween()

      • getKConditionalExpr

        public static java.lang.String getKConditionalExpr()

      • getKCircuit

        public static java.lang.String getKCircuit()

      • getKConvexPiecewise

        public static java.lang.String getKConvexPiecewise()

      • getKCountEqual

        public static java.lang.String getKCountEqual()

      • getKCover

        public static java.lang.String getKCover()

      • getKCumulative

        public static java.lang.String getKCumulative()

      • getKDeviation

        public static java.lang.String getKDeviation()

      • getKDifference

        public static java.lang.String getKDifference()

      • getKDisjunctive

        public static java.lang.String getKDisjunctive()

      • getKDistribute

        public static java.lang.String getKDistribute()

      • getKDivide

        public static java.lang.String getKDivide()

      • getKDurationExpr

        public static java.lang.String getKDurationExpr()

      • getKElement

        public static java.lang.String getKElement()

      • getKLightElementEqual

        public static java.lang.String getKLightElementEqual()

      • getKElementEqual

        public static java.lang.String getKElementEqual()

      • getKEndExpr

        public static java.lang.String getKEndExpr()

      • getKEquality

        public static java.lang.String getKEquality()

      • getKFalseConstraint

        public static java.lang.String getKFalseConstraint()

      • getKGlobalCardinality

        public static java.lang.String getKGlobalCardinality()

      • getKGreater

        public static java.lang.String getKGreater()

      • getKGreaterOrEqual

        public static java.lang.String getKGreaterOrEqual()

      • getKIntegerVariable

        public static java.lang.String getKIntegerVariable()

      • getKIntervalBinaryRelation

        public static java.lang.String getKIntervalBinaryRelation()

      • getKIntervalDisjunction

        public static java.lang.String getKIntervalDisjunction()

      • getKIntervalUnaryRelation

        public static java.lang.String getKIntervalUnaryRelation()

      • getKIntervalVariable

        public static java.lang.String getKIntervalVariable()

      • getKInversePermutation

        public static java.lang.String getKInversePermutation()

      • getKIsBetween

        public static java.lang.String getKIsBetween()

      • getKIsDifferent

        public static java.lang.String getKIsDifferent()

      • getKIsEqual

        public static java.lang.String getKIsEqual()

      • getKIsGreater

        public static java.lang.String getKIsGreater()

      • getKIsGreaterOrEqual

        public static java.lang.String getKIsGreaterOrEqual()

      • getKIsLess

        public static java.lang.String getKIsLess()

      • getKIsLessOrEqual

        public static java.lang.String getKIsLessOrEqual()

      • getKIsMember

        public static java.lang.String getKIsMember()

      • getKLess

        public static java.lang.String getKLess()

      • getKLessOrEqual

        public static java.lang.String getKLessOrEqual()

      • getKLexLess

        public static java.lang.String getKLexLess()

      • getKLinkExprVar

        public static java.lang.String getKLinkExprVar()

      • getKMapDomain

        public static java.lang.String getKMapDomain()

      • getKMax

        public static java.lang.String getKMax()

      • getKMaxEqual

        public static java.lang.String getKMaxEqual()

      • getKMember

        public static java.lang.String getKMember()

      • getKMin

        public static java.lang.String getKMin()

      • getKMinEqual

        public static java.lang.String getKMinEqual()

      • getKModulo

        public static java.lang.String getKModulo()

      • getKNoCycle

        public static java.lang.String getKNoCycle()

      • getKNonEqual

        public static java.lang.String getKNonEqual()

      • getKNotBetween

        public static java.lang.String getKNotBetween()

      • getKNotMember

        public static java.lang.String getKNotMember()

      • getKNullIntersect

        public static java.lang.String getKNullIntersect()

      • getKOpposite

        public static java.lang.String getKOpposite()

      • getKPack

        public static java.lang.String getKPack()

      • getKPathCumul

        public static java.lang.String getKPathCumul()

      • getKDelayedPathCumul

        public static java.lang.String getKDelayedPathCumul()

      • getKPerformedExpr

        public static java.lang.String getKPerformedExpr()

      • getKPower

        public static java.lang.String getKPower()

      • getKProduct

        public static java.lang.String getKProduct()

      • getKScalProd

        public static java.lang.String getKScalProd()

      • getKScalProdEqual

        public static java.lang.String getKScalProdEqual()

      • getKScalProdGreaterOrEqual

        public static java.lang.String getKScalProdGreaterOrEqual()

      • getKScalProdLessOrEqual

        public static java.lang.String getKScalProdLessOrEqual()

      • getKSemiContinuous

        public static java.lang.String getKSemiContinuous()

      • getKSequenceVariable

        public static java.lang.String getKSequenceVariable()

      • getKSortingConstraint

        public static java.lang.String getKSortingConstraint()

      • getKSquare

        public static java.lang.String getKSquare()

      • getKStartExpr

        public static java.lang.String getKStartExpr()

      • getKSum

        public static java.lang.String getKSum()

      • getKSumEqual

        public static java.lang.String getKSumEqual()

      • getKSumGreaterOrEqual

        public static java.lang.String getKSumGreaterOrEqual()

      • getKSumLessOrEqual

        public static java.lang.String getKSumLessOrEqual()

      • getKTrace

        public static java.lang.String getKTrace()

      • getKTransition

        public static java.lang.String getKTransition()

      • getKTrueConstraint

        public static java.lang.String getKTrueConstraint()

      • getKVarBoundWatcher

        public static java.lang.String getKVarBoundWatcher()

      • getKVarValueWatcher

        public static java.lang.String getKVarValueWatcher()

      • getKCountAssignedItemsExtension

        public static java.lang.String getKCountAssignedItemsExtension()
        Extension names:

      • getKCountUsedBinsExtension

        public static java.lang.String getKCountUsedBinsExtension()

      • getKInt64ToBoolExtension

        public static java.lang.String getKInt64ToBoolExtension()

      • getKInt64ToInt64Extension

        public static java.lang.String getKInt64ToInt64Extension()

      • getKObjectiveExtension

        public static java.lang.String getKObjectiveExtension()

      • getKSearchLimitExtension

        public static java.lang.String getKSearchLimitExtension()

      • getKUsageEqualVariableExtension

        public static java.lang.String getKUsageEqualVariableExtension()

      • getKUsageLessConstantExtension

        public static java.lang.String getKUsageLessConstantExtension()

      • getKVariableGroupExtension

        public static java.lang.String getKVariableGroupExtension()

      • getKVariableUsageLessConstantExtension

        public static java.lang.String getKVariableUsageLessConstantExtension()

      • getKWeightedSumOfAssignedEqualVariableExtension

        public static java.lang.String getKWeightedSumOfAssignedEqualVariableExtension()

      • getKActiveArgument

        public static java.lang.String getKActiveArgument()
        argument names:

      • getKAssumePathsArgument

        public static java.lang.String getKAssumePathsArgument()

      • getKBranchesLimitArgument

        public static java.lang.String getKBranchesLimitArgument()

      • getKCapacityArgument

        public static java.lang.String getKCapacityArgument()

      • getKCardsArgument

        public static java.lang.String getKCardsArgument()

      • getKCoefficientsArgument

        public static java.lang.String getKCoefficientsArgument()

      • getKCountArgument

        public static java.lang.String getKCountArgument()

      • getKCumulativeArgument

        public static java.lang.String getKCumulativeArgument()

      • getKCumulsArgument

        public static java.lang.String getKCumulsArgument()

      • getKDemandsArgument

        public static java.lang.String getKDemandsArgument()

      • getKDurationMaxArgument

        public static java.lang.String getKDurationMaxArgument()

      • getKDurationMinArgument

        public static java.lang.String getKDurationMinArgument()

      • getKEarlyCostArgument

        public static java.lang.String getKEarlyCostArgument()

      • getKEarlyDateArgument

        public static java.lang.String getKEarlyDateArgument()

      • getKEndMaxArgument

        public static java.lang.String getKEndMaxArgument()

      • getKEndMinArgument

        public static java.lang.String getKEndMinArgument()

      • getKEndsArgument

        public static java.lang.String getKEndsArgument()

      • getKExpressionArgument

        public static java.lang.String getKExpressionArgument()

      • getKFailuresLimitArgument

        public static java.lang.String getKFailuresLimitArgument()

      • getKFinalStatesArgument

        public static java.lang.String getKFinalStatesArgument()

      • getKFixedChargeArgument

        public static java.lang.String getKFixedChargeArgument()

      • getKIndex2Argument

        public static java.lang.String getKIndex2Argument()

      • getKIndexArgument

        public static java.lang.String getKIndexArgument()

      • getKInitialState

        public static java.lang.String getKInitialState()

      • getKIntervalArgument

        public static java.lang.String getKIntervalArgument()

      • getKIntervalsArgument

        public static java.lang.String getKIntervalsArgument()

      • getKLateCostArgument

        public static java.lang.String getKLateCostArgument()

      • getKLateDateArgument

        public static java.lang.String getKLateDateArgument()

      • getKLeftArgument

        public static java.lang.String getKLeftArgument()

      • getKMaxArgument

        public static java.lang.String getKMaxArgument()

      • getKMaximizeArgument

        public static java.lang.String getKMaximizeArgument()

      • getKMinArgument

        public static java.lang.String getKMinArgument()

      • getKModuloArgument

        public static java.lang.String getKModuloArgument()

      • getKNextsArgument

        public static java.lang.String getKNextsArgument()

      • getKOptionalArgument

        public static java.lang.String getKOptionalArgument()

      • getKPartialArgument

        public static java.lang.String getKPartialArgument()

      • getKPositionXArgument

        public static java.lang.String getKPositionXArgument()

      • getKPositionYArgument

        public static java.lang.String getKPositionYArgument()

      • getKRangeArgument

        public static java.lang.String getKRangeArgument()

      • getKRelationArgument

        public static java.lang.String getKRelationArgument()

      • getKRightArgument

        public static java.lang.String getKRightArgument()

      • getKSequenceArgument

        public static java.lang.String getKSequenceArgument()

      • getKSequencesArgument

        public static java.lang.String getKSequencesArgument()

      • getKSizeArgument

        public static java.lang.String getKSizeArgument()

      • getKSizeXArgument

        public static java.lang.String getKSizeXArgument()

      • getKSizeYArgument

        public static java.lang.String getKSizeYArgument()

      • getKSmartTimeCheckArgument

        public static java.lang.String getKSmartTimeCheckArgument()

      • getKSolutionLimitArgument

        public static java.lang.String getKSolutionLimitArgument()

      • getKStartMaxArgument

        public static java.lang.String getKStartMaxArgument()

      • getKStartMinArgument

        public static java.lang.String getKStartMinArgument()

      • getKStartsArgument

        public static java.lang.String getKStartsArgument()

      • getKStepArgument

        public static java.lang.String getKStepArgument()

      • getKTargetArgument

        public static java.lang.String getKTargetArgument()

      • getKTimeLimitArgument

        public static java.lang.String getKTimeLimitArgument()

      • getKTransitsArgument

        public static java.lang.String getKTransitsArgument()

      • getKTuplesArgument

        public static java.lang.String getKTuplesArgument()

      • getKValueArgument

        public static java.lang.String getKValueArgument()

      • getKValuesArgument

        public static java.lang.String getKValuesArgument()

      • getKVariableArgument

        public static java.lang.String getKVariableArgument()

      • getKVarsArgument

        public static java.lang.String getKVarsArgument()

      • getKEvaluatorArgument

        public static java.lang.String getKEvaluatorArgument()

      • getKMirrorOperation

        public static java.lang.String getKMirrorOperation()
        Operations.

      • getKRelaxedMaxOperation

        public static java.lang.String getKRelaxedMaxOperation()

      • getKRelaxedMinOperation

        public static java.lang.String getKRelaxedMinOperation()

      • getKSumOperation

        public static java.lang.String getKSumOperation()

      • getKDifferenceOperation

        public static java.lang.String getKDifferenceOperation()

      • getKProductOperation

        public static java.lang.String getKProductOperation()

      • getKStartSyncOnStartOperation

        public static java.lang.String getKStartSyncOnStartOperation()

      • getKStartSyncOnEndOperation

        public static java.lang.String getKStartSyncOnEndOperation()

      • getKTraceOperation

        public static java.lang.String getKTraceOperation()

      • beginVisitModel

        public void beginVisitModel​(java.lang.String type_name)
        ----- Virtual methods for visitors -----
        Begin/End visit element.

      • endVisitModel

        public void endVisitModel​(java.lang.String type_name)

      • beginVisitConstraint

        public void beginVisitConstraint​(java.lang.String type_name,
                                 Constraint constraint)

      • endVisitConstraint

        public void endVisitConstraint​(java.lang.String type_name,
                               Constraint constraint)

      • beginVisitExtension

        public void beginVisitExtension​(java.lang.String type)

      • endVisitExtension

        public void endVisitExtension​(java.lang.String type)

      • beginVisitIntegerExpression

        public void beginVisitIntegerExpression​(java.lang.String type_name,
                                        IntExpr expr)

      • endVisitIntegerExpression

        public void endVisitIntegerExpression​(java.lang.String type_name,
                                      IntExpr expr)

      • visitIntegerVariable

        public void visitIntegerVariable​(IntVar variable,
                                 IntExpr delegate)

      • visitIntegerVariable

        public void visitIntegerVariable​(IntVar variable,
                                 java.lang.String operation,
                                 long value,
                                 IntVar delegate)

      • visitIntervalVariable

        public void visitIntervalVariable​(IntervalVar variable,
                                  java.lang.String operation,
                                  long value,
                                  IntervalVar delegate)

      • visitSequenceVariable

        public void visitSequenceVariable​(SequenceVar variable)

      • visitIntegerArgument

        public void visitIntegerArgument​(java.lang.String arg_name,
                                 long value)
        Visit integer arguments.

      • visitIntegerArrayArgument

        public void visitIntegerArrayArgument​(java.lang.String arg_name,
                                      long[] values)

      • visitIntegerMatrixArgument

        public void visitIntegerMatrixArgument​(java.lang.String arg_name,
                                       IntTupleSet tuples)

      • visitIntegerExpressionArgument

        public void visitIntegerExpressionArgument​(java.lang.String arg_name,
                                           IntExpr argument)
        Visit integer expression argument.

      • visitIntegerVariableArrayArgument

        public void visitIntegerVariableArrayArgument​(java.lang.String arg_name,
                                              IntVar[] arguments)

      • visitIntervalArgument

        public void visitIntervalArgument​(java.lang.String arg_name,
                                  IntervalVar argument)
        Visit interval argument.

      • visitIntervalArrayArgument

        public void visitIntervalArrayArgument​(java.lang.String arg_name,
                                       IntervalVar[] arguments)

      • visitSequenceArgument

        public void visitSequenceArgument​(java.lang.String arg_name,
                                  SequenceVar argument)
        Visit sequence argument.

      • visitSequenceArrayArgument

        public void visitSequenceArrayArgument​(java.lang.String arg_name,
                                       SequenceVar[] arguments)