com.google.ortools.constraintsolver.ModelVisitor Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of ortools-java Show documentation
Show all versions of ortools-java Show documentation
Google OR-Tools Java project.
/* ----------------------------------------------------------------------------
* This file was automatically generated by SWIG (http://www.swig.org).
* Version 4.0.2
*
* Do not make changes to this file unless you know what you are doing--modify
* the SWIG interface file instead.
* ----------------------------------------------------------------------------- */
package com.google.ortools.constraintsolver;
/**
* Model visitor.
*/
public class ModelVisitor extends BaseObject {
private transient long swigCPtr;
protected ModelVisitor(long cPtr, boolean cMemoryOwn) {
super(mainJNI.ModelVisitor_SWIGUpcast(cPtr), cMemoryOwn);
swigCPtr = cPtr;
}
protected static long getCPtr(ModelVisitor obj) {
return (obj == null) ? 0 : obj.swigCPtr;
}
@SuppressWarnings("deprecation")
protected void finalize() {
delete();
}
public synchronized void delete() {
if (swigCPtr != 0) {
if (swigCMemOwn) {
swigCMemOwn = false;
mainJNI.delete_ModelVisitor(swigCPtr);
}
swigCPtr = 0;
}
super.delete();
}
/**
* Constraint and Expression types.
*/
public static String getKAbs() {
return mainJNI.ModelVisitor_kAbs_get();
}
public static String getKAbsEqual() {
return mainJNI.ModelVisitor_kAbsEqual_get();
}
public static String getKAllDifferent() {
return mainJNI.ModelVisitor_kAllDifferent_get();
}
public static String getKAllowedAssignments() {
return mainJNI.ModelVisitor_kAllowedAssignments_get();
}
public static String getKAtMost() {
return mainJNI.ModelVisitor_kAtMost_get();
}
public static String getKIndexOf() {
return mainJNI.ModelVisitor_kIndexOf_get();
}
public static String getKBetween() {
return mainJNI.ModelVisitor_kBetween_get();
}
public static String getKConditionalExpr() {
return mainJNI.ModelVisitor_kConditionalExpr_get();
}
public static String getKCircuit() {
return mainJNI.ModelVisitor_kCircuit_get();
}
public static String getKConvexPiecewise() {
return mainJNI.ModelVisitor_kConvexPiecewise_get();
}
public static String getKCountEqual() {
return mainJNI.ModelVisitor_kCountEqual_get();
}
public static String getKCover() {
return mainJNI.ModelVisitor_kCover_get();
}
public static String getKCumulative() {
return mainJNI.ModelVisitor_kCumulative_get();
}
public static String getKDeviation() {
return mainJNI.ModelVisitor_kDeviation_get();
}
public static String getKDifference() {
return mainJNI.ModelVisitor_kDifference_get();
}
public static String getKDisjunctive() {
return mainJNI.ModelVisitor_kDisjunctive_get();
}
public static String getKDistribute() {
return mainJNI.ModelVisitor_kDistribute_get();
}
public static String getKDivide() {
return mainJNI.ModelVisitor_kDivide_get();
}
public static String getKDurationExpr() {
return mainJNI.ModelVisitor_kDurationExpr_get();
}
public static String getKElement() {
return mainJNI.ModelVisitor_kElement_get();
}
public static String getKElementEqual() {
return mainJNI.ModelVisitor_kElementEqual_get();
}
public static String getKEndExpr() {
return mainJNI.ModelVisitor_kEndExpr_get();
}
public static String getKEquality() {
return mainJNI.ModelVisitor_kEquality_get();
}
public static String getKFalseConstraint() {
return mainJNI.ModelVisitor_kFalseConstraint_get();
}
public static String getKGlobalCardinality() {
return mainJNI.ModelVisitor_kGlobalCardinality_get();
}
public static String getKGreater() {
return mainJNI.ModelVisitor_kGreater_get();
}
public static String getKGreaterOrEqual() {
return mainJNI.ModelVisitor_kGreaterOrEqual_get();
}
public static String getKIntegerVariable() {
return mainJNI.ModelVisitor_kIntegerVariable_get();
}
public static String getKIntervalBinaryRelation() {
return mainJNI.ModelVisitor_kIntervalBinaryRelation_get();
}
public static String getKIntervalDisjunction() {
return mainJNI.ModelVisitor_kIntervalDisjunction_get();
}
public static String getKIntervalUnaryRelation() {
return mainJNI.ModelVisitor_kIntervalUnaryRelation_get();
}
public static String getKIntervalVariable() {
return mainJNI.ModelVisitor_kIntervalVariable_get();
}
public static String getKInversePermutation() {
return mainJNI.ModelVisitor_kInversePermutation_get();
}
public static String getKIsBetween() {
return mainJNI.ModelVisitor_kIsBetween_get();
}
public static String getKIsDifferent() {
return mainJNI.ModelVisitor_kIsDifferent_get();
}
public static String getKIsEqual() {
return mainJNI.ModelVisitor_kIsEqual_get();
}
public static String getKIsGreater() {
return mainJNI.ModelVisitor_kIsGreater_get();
}
public static String getKIsGreaterOrEqual() {
return mainJNI.ModelVisitor_kIsGreaterOrEqual_get();
}
public static String getKIsLess() {
return mainJNI.ModelVisitor_kIsLess_get();
}
public static String getKIsLessOrEqual() {
return mainJNI.ModelVisitor_kIsLessOrEqual_get();
}
public static String getKIsMember() {
return mainJNI.ModelVisitor_kIsMember_get();
}
public static String getKLess() {
return mainJNI.ModelVisitor_kLess_get();
}
public static String getKLessOrEqual() {
return mainJNI.ModelVisitor_kLessOrEqual_get();
}
public static String getKLexLess() {
return mainJNI.ModelVisitor_kLexLess_get();
}
public static String getKLinkExprVar() {
return mainJNI.ModelVisitor_kLinkExprVar_get();
}
public static String getKMapDomain() {
return mainJNI.ModelVisitor_kMapDomain_get();
}
public static String getKMax() {
return mainJNI.ModelVisitor_kMax_get();
}
public static String getKMaxEqual() {
return mainJNI.ModelVisitor_kMaxEqual_get();
}
public static String getKMember() {
return mainJNI.ModelVisitor_kMember_get();
}
public static String getKMin() {
return mainJNI.ModelVisitor_kMin_get();
}
public static String getKMinEqual() {
return mainJNI.ModelVisitor_kMinEqual_get();
}
public static String getKModulo() {
return mainJNI.ModelVisitor_kModulo_get();
}
public static String getKNoCycle() {
return mainJNI.ModelVisitor_kNoCycle_get();
}
public static String getKNonEqual() {
return mainJNI.ModelVisitor_kNonEqual_get();
}
public static String getKNotBetween() {
return mainJNI.ModelVisitor_kNotBetween_get();
}
public static String getKNotMember() {
return mainJNI.ModelVisitor_kNotMember_get();
}
public static String getKNullIntersect() {
return mainJNI.ModelVisitor_kNullIntersect_get();
}
public static String getKOpposite() {
return mainJNI.ModelVisitor_kOpposite_get();
}
public static String getKPack() {
return mainJNI.ModelVisitor_kPack_get();
}
public static String getKPathCumul() {
return mainJNI.ModelVisitor_kPathCumul_get();
}
public static String getKDelayedPathCumul() {
return mainJNI.ModelVisitor_kDelayedPathCumul_get();
}
public static String getKPerformedExpr() {
return mainJNI.ModelVisitor_kPerformedExpr_get();
}
public static String getKPower() {
return mainJNI.ModelVisitor_kPower_get();
}
public static String getKProduct() {
return mainJNI.ModelVisitor_kProduct_get();
}
public static String getKScalProd() {
return mainJNI.ModelVisitor_kScalProd_get();
}
public static String getKScalProdEqual() {
return mainJNI.ModelVisitor_kScalProdEqual_get();
}
public static String getKScalProdGreaterOrEqual() {
return mainJNI.ModelVisitor_kScalProdGreaterOrEqual_get();
}
public static String getKScalProdLessOrEqual() {
return mainJNI.ModelVisitor_kScalProdLessOrEqual_get();
}
public static String getKSemiContinuous() {
return mainJNI.ModelVisitor_kSemiContinuous_get();
}
public static String getKSequenceVariable() {
return mainJNI.ModelVisitor_kSequenceVariable_get();
}
public static String getKSortingConstraint() {
return mainJNI.ModelVisitor_kSortingConstraint_get();
}
public static String getKSquare() {
return mainJNI.ModelVisitor_kSquare_get();
}
public static String getKStartExpr() {
return mainJNI.ModelVisitor_kStartExpr_get();
}
public static String getKSum() {
return mainJNI.ModelVisitor_kSum_get();
}
public static String getKSumEqual() {
return mainJNI.ModelVisitor_kSumEqual_get();
}
public static String getKSumGreaterOrEqual() {
return mainJNI.ModelVisitor_kSumGreaterOrEqual_get();
}
public static String getKSumLessOrEqual() {
return mainJNI.ModelVisitor_kSumLessOrEqual_get();
}
public static String getKTrace() {
return mainJNI.ModelVisitor_kTrace_get();
}
public static String getKTransition() {
return mainJNI.ModelVisitor_kTransition_get();
}
public static String getKTrueConstraint() {
return mainJNI.ModelVisitor_kTrueConstraint_get();
}
public static String getKVarBoundWatcher() {
return mainJNI.ModelVisitor_kVarBoundWatcher_get();
}
public static String getKVarValueWatcher() {
return mainJNI.ModelVisitor_kVarValueWatcher_get();
}
/**
* Extension names:
*/
public static String getKCountAssignedItemsExtension() {
return mainJNI.ModelVisitor_kCountAssignedItemsExtension_get();
}
public static String getKCountUsedBinsExtension() {
return mainJNI.ModelVisitor_kCountUsedBinsExtension_get();
}
public static String getKInt64ToBoolExtension() {
return mainJNI.ModelVisitor_kInt64ToBoolExtension_get();
}
public static String getKInt64ToInt64Extension() {
return mainJNI.ModelVisitor_kInt64ToInt64Extension_get();
}
public static String getKObjectiveExtension() {
return mainJNI.ModelVisitor_kObjectiveExtension_get();
}
public static String getKSearchLimitExtension() {
return mainJNI.ModelVisitor_kSearchLimitExtension_get();
}
public static String getKUsageEqualVariableExtension() {
return mainJNI.ModelVisitor_kUsageEqualVariableExtension_get();
}
public static String getKUsageLessConstantExtension() {
return mainJNI.ModelVisitor_kUsageLessConstantExtension_get();
}
public static String getKVariableGroupExtension() {
return mainJNI.ModelVisitor_kVariableGroupExtension_get();
}
public static String getKVariableUsageLessConstantExtension() {
return mainJNI.ModelVisitor_kVariableUsageLessConstantExtension_get();
}
public static String getKWeightedSumOfAssignedEqualVariableExtension() {
return mainJNI.ModelVisitor_kWeightedSumOfAssignedEqualVariableExtension_get();
}
/**
* argument names:
*/
public static String getKActiveArgument() {
return mainJNI.ModelVisitor_kActiveArgument_get();
}
public static String getKAssumePathsArgument() {
return mainJNI.ModelVisitor_kAssumePathsArgument_get();
}
public static String getKBranchesLimitArgument() {
return mainJNI.ModelVisitor_kBranchesLimitArgument_get();
}
public static String getKCapacityArgument() {
return mainJNI.ModelVisitor_kCapacityArgument_get();
}
public static String getKCardsArgument() {
return mainJNI.ModelVisitor_kCardsArgument_get();
}
public static String getKCoefficientsArgument() {
return mainJNI.ModelVisitor_kCoefficientsArgument_get();
}
public static String getKCountArgument() {
return mainJNI.ModelVisitor_kCountArgument_get();
}
public static String getKCumulativeArgument() {
return mainJNI.ModelVisitor_kCumulativeArgument_get();
}
public static String getKCumulsArgument() {
return mainJNI.ModelVisitor_kCumulsArgument_get();
}
public static String getKDemandsArgument() {
return mainJNI.ModelVisitor_kDemandsArgument_get();
}
public static String getKDurationMaxArgument() {
return mainJNI.ModelVisitor_kDurationMaxArgument_get();
}
public static String getKDurationMinArgument() {
return mainJNI.ModelVisitor_kDurationMinArgument_get();
}
public static String getKEarlyCostArgument() {
return mainJNI.ModelVisitor_kEarlyCostArgument_get();
}
public static String getKEarlyDateArgument() {
return mainJNI.ModelVisitor_kEarlyDateArgument_get();
}
public static String getKEndMaxArgument() {
return mainJNI.ModelVisitor_kEndMaxArgument_get();
}
public static String getKEndMinArgument() {
return mainJNI.ModelVisitor_kEndMinArgument_get();
}
public static String getKEndsArgument() {
return mainJNI.ModelVisitor_kEndsArgument_get();
}
public static String getKExpressionArgument() {
return mainJNI.ModelVisitor_kExpressionArgument_get();
}
public static String getKFailuresLimitArgument() {
return mainJNI.ModelVisitor_kFailuresLimitArgument_get();
}
public static String getKFinalStatesArgument() {
return mainJNI.ModelVisitor_kFinalStatesArgument_get();
}
public static String getKFixedChargeArgument() {
return mainJNI.ModelVisitor_kFixedChargeArgument_get();
}
public static String getKIndex2Argument() {
return mainJNI.ModelVisitor_kIndex2Argument_get();
}
public static String getKIndexArgument() {
return mainJNI.ModelVisitor_kIndexArgument_get();
}
public static String getKInitialState() {
return mainJNI.ModelVisitor_kInitialState_get();
}
public static String getKIntervalArgument() {
return mainJNI.ModelVisitor_kIntervalArgument_get();
}
public static String getKIntervalsArgument() {
return mainJNI.ModelVisitor_kIntervalsArgument_get();
}
public static String getKLateCostArgument() {
return mainJNI.ModelVisitor_kLateCostArgument_get();
}
public static String getKLateDateArgument() {
return mainJNI.ModelVisitor_kLateDateArgument_get();
}
public static String getKLeftArgument() {
return mainJNI.ModelVisitor_kLeftArgument_get();
}
public static String getKMaxArgument() {
return mainJNI.ModelVisitor_kMaxArgument_get();
}
public static String getKMaximizeArgument() {
return mainJNI.ModelVisitor_kMaximizeArgument_get();
}
public static String getKMinArgument() {
return mainJNI.ModelVisitor_kMinArgument_get();
}
public static String getKModuloArgument() {
return mainJNI.ModelVisitor_kModuloArgument_get();
}
public static String getKNextsArgument() {
return mainJNI.ModelVisitor_kNextsArgument_get();
}
public static String getKOptionalArgument() {
return mainJNI.ModelVisitor_kOptionalArgument_get();
}
public static String getKPartialArgument() {
return mainJNI.ModelVisitor_kPartialArgument_get();
}
public static String getKPositionXArgument() {
return mainJNI.ModelVisitor_kPositionXArgument_get();
}
public static String getKPositionYArgument() {
return mainJNI.ModelVisitor_kPositionYArgument_get();
}
public static String getKRangeArgument() {
return mainJNI.ModelVisitor_kRangeArgument_get();
}
public static String getKRelationArgument() {
return mainJNI.ModelVisitor_kRelationArgument_get();
}
public static String getKRightArgument() {
return mainJNI.ModelVisitor_kRightArgument_get();
}
public static String getKSequenceArgument() {
return mainJNI.ModelVisitor_kSequenceArgument_get();
}
public static String getKSequencesArgument() {
return mainJNI.ModelVisitor_kSequencesArgument_get();
}
public static String getKSizeArgument() {
return mainJNI.ModelVisitor_kSizeArgument_get();
}
public static String getKSizeXArgument() {
return mainJNI.ModelVisitor_kSizeXArgument_get();
}
public static String getKSizeYArgument() {
return mainJNI.ModelVisitor_kSizeYArgument_get();
}
public static String getKSmartTimeCheckArgument() {
return mainJNI.ModelVisitor_kSmartTimeCheckArgument_get();
}
public static String getKSolutionLimitArgument() {
return mainJNI.ModelVisitor_kSolutionLimitArgument_get();
}
public static String getKStartMaxArgument() {
return mainJNI.ModelVisitor_kStartMaxArgument_get();
}
public static String getKStartMinArgument() {
return mainJNI.ModelVisitor_kStartMinArgument_get();
}
public static String getKStartsArgument() {
return mainJNI.ModelVisitor_kStartsArgument_get();
}
public static String getKStepArgument() {
return mainJNI.ModelVisitor_kStepArgument_get();
}
public static String getKTargetArgument() {
return mainJNI.ModelVisitor_kTargetArgument_get();
}
public static String getKTimeLimitArgument() {
return mainJNI.ModelVisitor_kTimeLimitArgument_get();
}
public static String getKTransitsArgument() {
return mainJNI.ModelVisitor_kTransitsArgument_get();
}
public static String getKTuplesArgument() {
return mainJNI.ModelVisitor_kTuplesArgument_get();
}
public static String getKValueArgument() {
return mainJNI.ModelVisitor_kValueArgument_get();
}
public static String getKValuesArgument() {
return mainJNI.ModelVisitor_kValuesArgument_get();
}
public static String getKVariableArgument() {
return mainJNI.ModelVisitor_kVariableArgument_get();
}
public static String getKVarsArgument() {
return mainJNI.ModelVisitor_kVarsArgument_get();
}
public static String getKEvaluatorArgument() {
return mainJNI.ModelVisitor_kEvaluatorArgument_get();
}
/**
* Operations.
*/
public static String getKMirrorOperation() {
return mainJNI.ModelVisitor_kMirrorOperation_get();
}
public static String getKRelaxedMaxOperation() {
return mainJNI.ModelVisitor_kRelaxedMaxOperation_get();
}
public static String getKRelaxedMinOperation() {
return mainJNI.ModelVisitor_kRelaxedMinOperation_get();
}
public static String getKSumOperation() {
return mainJNI.ModelVisitor_kSumOperation_get();
}
public static String getKDifferenceOperation() {
return mainJNI.ModelVisitor_kDifferenceOperation_get();
}
public static String getKProductOperation() {
return mainJNI.ModelVisitor_kProductOperation_get();
}
public static String getKStartSyncOnStartOperation() {
return mainJNI.ModelVisitor_kStartSyncOnStartOperation_get();
}
public static String getKStartSyncOnEndOperation() {
return mainJNI.ModelVisitor_kStartSyncOnEndOperation_get();
}
public static String getKTraceOperation() {
return mainJNI.ModelVisitor_kTraceOperation_get();
}
/**
* ----- Virtual methods for visitors -----
* Begin/End visit element.
*/
public void beginVisitModel(String type_name) {
mainJNI.ModelVisitor_beginVisitModel(swigCPtr, this, type_name);
}
public void endVisitModel(String type_name) {
mainJNI.ModelVisitor_endVisitModel(swigCPtr, this, type_name);
}
public void beginVisitConstraint(String type_name, Constraint constraint) {
mainJNI.ModelVisitor_beginVisitConstraint(swigCPtr, this, type_name, Constraint.getCPtr(constraint), constraint);
}
public void endVisitConstraint(String type_name, Constraint constraint) {
mainJNI.ModelVisitor_endVisitConstraint(swigCPtr, this, type_name, Constraint.getCPtr(constraint), constraint);
}
public void beginVisitExtension(String type) {
mainJNI.ModelVisitor_beginVisitExtension(swigCPtr, this, type);
}
public void endVisitExtension(String type) {
mainJNI.ModelVisitor_endVisitExtension(swigCPtr, this, type);
}
public void beginVisitIntegerExpression(String type_name, IntExpr expr) {
mainJNI.ModelVisitor_beginVisitIntegerExpression(swigCPtr, this, type_name, IntExpr.getCPtr(expr), expr);
}
public void endVisitIntegerExpression(String type_name, IntExpr expr) {
mainJNI.ModelVisitor_endVisitIntegerExpression(swigCPtr, this, type_name, IntExpr.getCPtr(expr), expr);
}
public void visitIntegerVariable(IntVar variable, IntExpr delegate) {
mainJNI.ModelVisitor_visitIntegerVariable__SWIG_0(swigCPtr, this, IntVar.getCPtr(variable), variable, IntExpr.getCPtr(delegate), delegate);
}
public void visitIntegerVariable(IntVar variable, String operation, long value, IntVar delegate) {
mainJNI.ModelVisitor_visitIntegerVariable__SWIG_1(swigCPtr, this, IntVar.getCPtr(variable), variable, operation, value, IntVar.getCPtr(delegate), delegate);
}
public void visitIntervalVariable(IntervalVar variable, String operation, long value, IntervalVar delegate) {
mainJNI.ModelVisitor_visitIntervalVariable(swigCPtr, this, IntervalVar.getCPtr(variable), variable, operation, value, IntervalVar.getCPtr(delegate), delegate);
}
public void visitSequenceVariable(SequenceVar variable) {
mainJNI.ModelVisitor_visitSequenceVariable(swigCPtr, this, SequenceVar.getCPtr(variable), variable);
}
/**
* Visit integer arguments.
*/
public void visitIntegerArgument(String arg_name, long value) {
mainJNI.ModelVisitor_visitIntegerArgument(swigCPtr, this, arg_name, value);
}
public void visitIntegerArrayArgument(String arg_name, long[] values) {
mainJNI.ModelVisitor_visitIntegerArrayArgument(swigCPtr, this, arg_name, values);
}
public void visitIntegerMatrixArgument(String arg_name, IntTupleSet tuples) {
mainJNI.ModelVisitor_visitIntegerMatrixArgument(swigCPtr, this, arg_name, IntTupleSet.getCPtr(tuples), tuples);
}
/**
* Visit integer expression argument.
*/
public void visitIntegerExpressionArgument(String arg_name, IntExpr argument) {
mainJNI.ModelVisitor_visitIntegerExpressionArgument(swigCPtr, this, arg_name, IntExpr.getCPtr(argument), argument);
}
public void visitIntegerVariableArrayArgument(String arg_name, IntVar[] arguments) {
mainJNI.ModelVisitor_visitIntegerVariableArrayArgument(swigCPtr, this, arg_name, arguments);
}
/**
* Visit interval argument.
*/
public void visitIntervalArgument(String arg_name, IntervalVar argument) {
mainJNI.ModelVisitor_visitIntervalArgument(swigCPtr, this, arg_name, IntervalVar.getCPtr(argument), argument);
}
public void visitIntervalArrayArgument(String arg_name, IntervalVar[] arguments) {
mainJNI.ModelVisitor_visitIntervalArrayArgument(swigCPtr, this, arg_name, arguments);
}
/**
* Visit sequence argument.
*/
public void visitSequenceArgument(String arg_name, SequenceVar argument) {
mainJNI.ModelVisitor_visitSequenceArgument(swigCPtr, this, arg_name, SequenceVar.getCPtr(argument), argument);
}
public void visitSequenceArrayArgument(String arg_name, SequenceVar[] arguments) {
mainJNI.ModelVisitor_visitSequenceArrayArgument(swigCPtr, this, arg_name, arguments);
}
public ModelVisitor() {
this(mainJNI.new_ModelVisitor(), true);
}
}