Class ModelVisitor

java.lang.Object
com.google.ortools.constraintsolver.BaseObject
com.google.ortools.constraintsolver.ModelVisitor

public class ModelVisitor
extends BaseObject
Model visitor.
  • Constructor Details

    • ModelVisitor

      protected ModelVisitor​(long cPtr, boolean cMemoryOwn)
    • ModelVisitor

      public ModelVisitor()
  • Method Details

    • getCPtr

      protected static long getCPtr​(ModelVisitor obj)
    • finalize

      protected void finalize()
      Overrides:
      finalize in class BaseObject
    • delete

      public void delete()
      Overrides:
      delete in class BaseObject
    • 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()
    • 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)