com.google.ortools.constraintsolver

Class ModelVisitor

java.lang.Object

com.google.ortools.constraintsolver.BaseObject

com.google.ortools.constraintsolver.ModelVisitor

public class ModelVisitor
extends BaseObject

Model visitor.

Field Summary

Fields inherited from class com.google.ortools.constraintsolver.BaseObject

swigCMemOwn

Constructor Summary

Constructors

Constructor and Description
ModelVisitor()
ModelVisitor(long cPtr, boolean cMemoryOwn)

Method Summary

Modifier and Type	Method and Description
void	beginVisitConstraint(java.lang.String type_name, Constraint constraint)
void	beginVisitExtension(java.lang.String type)
void	beginVisitIntegerExpression(java.lang.String type_name, IntExpr expr)
void	beginVisitModel(java.lang.String type_name) ----- Virtual methods for visitors ----- Begin/End visit element.
void	delete()
void	endVisitConstraint(java.lang.String type_name, Constraint constraint)
void	endVisitExtension(java.lang.String type)
void	endVisitIntegerExpression(java.lang.String type_name, IntExpr expr)
void	endVisitModel(java.lang.String type_name)
protected void	finalize()
static long	getCPtr(ModelVisitor obj)
static java.lang.String	getKAbs() Constraint and Expression types.
static java.lang.String	getKAbsEqual()
static java.lang.String	getKActiveArgument() argument names:
static java.lang.String	getKAllDifferent()
static java.lang.String	getKAllowedAssignments()
static java.lang.String	getKAssumePathsArgument()
static java.lang.String	getKAtMost()
static java.lang.String	getKBetween()
static java.lang.String	getKBranchesLimitArgument()
static java.lang.String	getKCapacityArgument()
static java.lang.String	getKCardsArgument()
static java.lang.String	getKCircuit()
static java.lang.String	getKCoefficientsArgument()
static java.lang.String	getKConditionalExpr()
static java.lang.String	getKConvexPiecewise()
static java.lang.String	getKCountArgument()
static java.lang.String	getKCountAssignedItemsExtension() Extension names:
static java.lang.String	getKCountEqual()
static java.lang.String	getKCountUsedBinsExtension()
static java.lang.String	getKCover()
static java.lang.String	getKCumulative()
static java.lang.String	getKCumulativeArgument()
static java.lang.String	getKCumulsArgument()
static java.lang.String	getKDelayedPathCumul()
static java.lang.String	getKDemandsArgument()
static java.lang.String	getKDeviation()
static java.lang.String	getKDifference()
static java.lang.String	getKDifferenceOperation()
static java.lang.String	getKDisjunctive()
static java.lang.String	getKDistribute()
static java.lang.String	getKDivide()
static java.lang.String	getKDurationExpr()
static java.lang.String	getKDurationMaxArgument()
static java.lang.String	getKDurationMinArgument()
static java.lang.String	getKEarlyCostArgument()
static java.lang.String	getKEarlyDateArgument()
static java.lang.String	getKElement()
static java.lang.String	getKElementEqual()
static java.lang.String	getKEndExpr()
static java.lang.String	getKEndMaxArgument()
static java.lang.String	getKEndMinArgument()
static java.lang.String	getKEndsArgument()
static java.lang.String	getKEquality()
static java.lang.String	getKEvaluatorArgument()
static java.lang.String	getKExpressionArgument()
static java.lang.String	getKFailuresLimitArgument()
static java.lang.String	getKFalseConstraint()
static java.lang.String	getKFinalStatesArgument()
static java.lang.String	getKFixedChargeArgument()
static java.lang.String	getKGlobalCardinality()
static java.lang.String	getKGreater()
static java.lang.String	getKGreaterOrEqual()
static java.lang.String	getKIndex2Argument()
static java.lang.String	getKIndex3Argument()
static java.lang.String	getKIndexArgument()
static java.lang.String	getKIndexOf()
static java.lang.String	getKInitialState()
static java.lang.String	getKInt64ToBoolExtension()
static java.lang.String	getKInt64ToInt64Extension()
static java.lang.String	getKIntegerVariable()
static java.lang.String	getKIntervalArgument()
static java.lang.String	getKIntervalBinaryRelation()
static java.lang.String	getKIntervalDisjunction()
static java.lang.String	getKIntervalsArgument()
static java.lang.String	getKIntervalUnaryRelation()
static java.lang.String	getKIntervalVariable()
static java.lang.String	getKInversePermutation()
static java.lang.String	getKIsBetween()
static java.lang.String	getKIsDifferent()
static java.lang.String	getKIsEqual()
static java.lang.String	getKIsGreater()
static java.lang.String	getKIsGreaterOrEqual()
static java.lang.String	getKIsLess()
static java.lang.String	getKIsLessOrEqual()
static java.lang.String	getKIsMember()
static java.lang.String	getKLateCostArgument()
static java.lang.String	getKLateDateArgument()
static java.lang.String	getKLeftArgument()
static java.lang.String	getKLess()
static java.lang.String	getKLessOrEqual()
static java.lang.String	getKLexLess()
static java.lang.String	getKLightElementEqual()
static java.lang.String	getKLinkExprVar()
static java.lang.String	getKMapDomain()
static java.lang.String	getKMax()
static java.lang.String	getKMaxArgument()
static java.lang.String	getKMaxEqual()
static java.lang.String	getKMaximizeArgument()
static java.lang.String	getKMember()
static java.lang.String	getKMin()
static java.lang.String	getKMinArgument()
static java.lang.String	getKMinEqual()
static java.lang.String	getKMirrorOperation() Operations.
static java.lang.String	getKModulo()
static java.lang.String	getKModuloArgument()
static java.lang.String	getKNextsArgument()
static java.lang.String	getKNoCycle()
static java.lang.String	getKNonEqual()
static java.lang.String	getKNotBetween()
static java.lang.String	getKNotMember()
static java.lang.String	getKNullIntersect()
static java.lang.String	getKObjectiveExtension()
static java.lang.String	getKOpposite()
static java.lang.String	getKOptionalArgument()
static java.lang.String	getKPack()
static java.lang.String	getKPartialArgument()
static java.lang.String	getKPathCumul()
static java.lang.String	getKPerformedExpr()
static java.lang.String	getKPositionXArgument()
static java.lang.String	getKPositionYArgument()
static java.lang.String	getKPower()
static java.lang.String	getKProduct()
static java.lang.String	getKProductOperation()
static java.lang.String	getKRangeArgument()
static java.lang.String	getKRelationArgument()
static java.lang.String	getKRelaxedMaxOperation()
static java.lang.String	getKRelaxedMinOperation()
static java.lang.String	getKRightArgument()
static java.lang.String	getKScalProd()
static java.lang.String	getKScalProdEqual()
static java.lang.String	getKScalProdGreaterOrEqual()
static java.lang.String	getKScalProdLessOrEqual()
static java.lang.String	getKSearchLimitExtension()
static java.lang.String	getKSemiContinuous()
static java.lang.String	getKSequenceArgument()
static java.lang.String	getKSequencesArgument()
static java.lang.String	getKSequenceVariable()
static java.lang.String	getKSizeArgument()
static java.lang.String	getKSizeXArgument()
static java.lang.String	getKSizeYArgument()
static java.lang.String	getKSmartTimeCheckArgument()
static java.lang.String	getKSolutionLimitArgument()
static java.lang.String	getKSortingConstraint()
static java.lang.String	getKSquare()
static java.lang.String	getKStartExpr()
static java.lang.String	getKStartMaxArgument()
static java.lang.String	getKStartMinArgument()
static java.lang.String	getKStartsArgument()
static java.lang.String	getKStartSyncOnEndOperation()
static java.lang.String	getKStartSyncOnStartOperation()
static java.lang.String	getKStepArgument()
static java.lang.String	getKSum()
static java.lang.String	getKSumEqual()
static java.lang.String	getKSumGreaterOrEqual()
static java.lang.String	getKSumLessOrEqual()
static java.lang.String	getKSumOperation()
static java.lang.String	getKTargetArgument()
static java.lang.String	getKTimeLimitArgument()
static java.lang.String	getKTrace()
static java.lang.String	getKTraceOperation()
static java.lang.String	getKTransition()
static java.lang.String	getKTransitsArgument()
static java.lang.String	getKTrueConstraint()
static java.lang.String	getKTuplesArgument()
static java.lang.String	getKUsageEqualVariableExtension()
static java.lang.String	getKUsageLessConstantExtension()
static java.lang.String	getKValueArgument()
static java.lang.String	getKValuesArgument()
static java.lang.String	getKVarBoundWatcher()
static java.lang.String	getKVariableArgument()
static java.lang.String	getKVariableGroupExtension()
static java.lang.String	getKVariableUsageLessConstantExtension()
static java.lang.String	getKVarsArgument()
static java.lang.String	getKVarValueWatcher()
static java.lang.String	getKWeightedSumOfAssignedEqualVariableExtension()
static long	swigRelease(ModelVisitor obj)
void	visitIntegerArgument(java.lang.String arg_name, long value) Visit integer arguments.
void	visitIntegerArrayArgument(java.lang.String arg_name, long[] values)
void	visitIntegerExpressionArgument(java.lang.String arg_name, IntExpr argument) Visit integer expression argument.
void	visitIntegerMatrixArgument(java.lang.String arg_name, IntTupleSet tuples)
void	visitIntegerVariable(IntVar variable, IntExpr delegate)
void	visitIntegerVariable(IntVar variable, java.lang.String operation, long value, IntVar delegate)
void	visitIntegerVariableArrayArgument(java.lang.String arg_name, IntVar[] arguments)
void	visitIntervalArgument(java.lang.String arg_name, IntervalVar argument) Visit interval argument.
void	visitIntervalArrayArgument(java.lang.String arg_name, IntervalVar[] arguments)
void	visitIntervalVariable(IntervalVar variable, java.lang.String operation, long value, IntervalVar delegate)
void	visitSequenceArgument(java.lang.String arg_name, SequenceVar argument) Visit sequence argument.
void	visitSequenceArrayArgument(java.lang.String arg_name, SequenceVar[] arguments)
void	visitSequenceVariable(SequenceVar variable)

Methods inherited from class com.google.ortools.constraintsolver.BaseObject

getCPtr, swigRelease, toString

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ModelVisitor

public ModelVisitor(long cPtr,
                    boolean cMemoryOwn)

ModelVisitor

public ModelVisitor()

Method Detail

getCPtr

public static long getCPtr(ModelVisitor obj)

swigRelease

public static long swigRelease(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()

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()

getKIndex3Argument

public static java.lang.String getKIndex3Argument()

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)