| Package | Description |
|---|---|
| com.google.ortools.constraintsolver | |
| com.google.ortools.sat | |
| com.google.ortools.sat.v1 |
| Class and Description |
|---|
| SatParameters
Contains the definitions for all the sat algorithm parameters and their
default values.
|
| SatParameters.Builder
Contains the definitions for all the sat algorithm parameters and their
default values.
|
| SatParametersOrBuilder |
| Class and Description |
|---|
| AllDifferentConstraintProto
All affine expressions must take different values.
|
| AllDifferentConstraintProto.Builder
All affine expressions must take different values.
|
| AllDifferentConstraintProtoOrBuilder |
| AutomatonConstraint
Specialized automaton constraint.
|
| AutomatonConstraintProto
This constraint forces a sequence of variables to be accepted by an
automaton.
|
| AutomatonConstraintProto.Builder
This constraint forces a sequence of variables to be accepted by an
automaton.
|
| AutomatonConstraintProtoOrBuilder |
| BoolArgumentProto
Argument of the constraints of the form OP(literals).
|
| BoolArgumentProto.Builder
Argument of the constraints of the form OP(literals).
|
| BoolArgumentProtoOrBuilder |
| BooleanAssignment
Stores an assignment of variables as a list of true literals using their
signed representation.
|
| BooleanAssignment.Builder
Stores an assignment of variables as a list of true literals using their
signed representation.
|
| BooleanAssignmentOrBuilder |
| BoolVar
An Boolean variable.
|
| CircuitConstraint
Specialized circuit constraint.
|
| CircuitConstraintProto
The circuit constraint is defined on a graph where the arc presence are
controlled by literals.
|
| CircuitConstraintProto.Builder
The circuit constraint is defined on a graph where the arc presence are
controlled by literals.
|
| CircuitConstraintProtoOrBuilder |
| Constraint
Wrapper around a ConstraintProto.
|
| ConstraintProto
Next id: 31
|
| ConstraintProto.Builder
Next id: 31
|
| ConstraintProto.ConstraintCase |
| ConstraintProtoOrBuilder |
| CpModel
Main modeling class.
|
| CpModelProto
A constraint programming problem.
|
| CpModelProto.Builder
A constraint programming problem.
|
| CpModelProtoOrBuilder |
| CpObjectiveProto
Optimization objective.
|
| CpObjectiveProto.Builder
Optimization objective.
|
| CpObjectiveProtoOrBuilder |
| CpSatHelper |
| CpSolverResponse
The response returned by a solver trying to solve a CpModelProto.
|
| CpSolverResponse.Builder
The response returned by a solver trying to solve a CpModelProto.
|
| CpSolverResponseOrBuilder |
| CpSolverSolution
Just a message used to store dense solution.
|
| CpSolverSolution.Builder
Just a message used to store dense solution.
|
| CpSolverSolutionCallback
Parent class to create a callback called at each solution.
|
| CpSolverSolutionOrBuilder |
| CpSolverStatus
The status returned by a solver trying to solve a CpModelProto.
|
| CumulativeConstraint
Specialized cumulative constraint.
|
| CumulativeConstraintProto
The sum of the demands of the intervals at each interval point cannot exceed
a capacity.
|
| CumulativeConstraintProto.Builder
The sum of the demands of the intervals at each interval point cannot exceed
a capacity.
|
| CumulativeConstraintProtoOrBuilder |
| DecisionStrategyProto
Define the strategy to follow when the solver needs to take a new decision.
|
| DecisionStrategyProto.Builder
Define the strategy to follow when the solver needs to take a new decision.
|
| DecisionStrategyProto.DomainReductionStrategy
Once a variable (resp.
|
| DecisionStrategyProto.VariableSelectionStrategy
The order in which the variables (resp.
|
| DecisionStrategyProtoOrBuilder |
| DenseMatrixProto
A dense matrix of numbers encoded in a flat way, row by row.
|
| DenseMatrixProto.Builder
A dense matrix of numbers encoded in a flat way, row by row.
|
| DenseMatrixProtoOrBuilder |
| DoubleLinearExpr
A linear expression interface that can be parsed.
|
| ElementConstraintProto
The constraint target = vars[index].
|
| ElementConstraintProto.Builder
The constraint target = vars[index].
|
| ElementConstraintProtoOrBuilder |
| FloatObjectiveProto
A linear floating point objective: sum coeffs[i] * vars[i] + offset.
|
| FloatObjectiveProto.Builder
A linear floating point objective: sum coeffs[i] * vars[i] + offset.
|
| FloatObjectiveProtoOrBuilder |
| IntegerVariableProto
An integer variable.
|
| IntegerVariableProto.Builder
An integer variable.
|
| IntegerVariableProtoOrBuilder |
| IntervalConstraintProto
This is not really a constraint.
|
| IntervalConstraintProto.Builder
This is not really a constraint.
|
| IntervalConstraintProtoOrBuilder |
| IntervalVar
An interval variable.
|
| IntVar
An integer variable.
|
| InverseConstraintProto
The two arrays of variable each represent a function, the second is the
inverse of the first: f_direct[i] == j <=> f_inverse[j] == i.
|
| InverseConstraintProto.Builder
The two arrays of variable each represent a function, the second is the
inverse of the first: f_direct[i] == j <=> f_inverse[j] == i.
|
| InverseConstraintProtoOrBuilder |
| LinearArgument
A object that can build a LinearExpr object.
|
| LinearArgumentProto
Protobuf type
operations_research.sat.LinearArgumentProto |
| LinearArgumentProto.Builder
Protobuf type
operations_research.sat.LinearArgumentProto |
| LinearArgumentProtoOrBuilder |
| LinearBooleanConstraint
A linear Boolean constraint which is a bounded sum of linear terms.
|
| LinearBooleanConstraint.Builder
A linear Boolean constraint which is a bounded sum of linear terms.
|
| LinearBooleanConstraintOrBuilder |
| LinearBooleanProblem
A linear Boolean problem.
|
| LinearBooleanProblem.Builder
A linear Boolean problem.
|
| LinearBooleanProblemOrBuilder |
| LinearConstraintProto
The linear sum vars[i] * coeffs[i] must fall in the given domain.
|
| LinearConstraintProto.Builder
The linear sum vars[i] * coeffs[i] must fall in the given domain.
|
| LinearConstraintProtoOrBuilder |
| LinearExpr
A linear expression (sum (ai * xi) + b).
|
| LinearExprBuilder
Builder class for the LinearExpr container.
|
| LinearExpressionProto
Some constraints supports linear expression instead of just using a reference
to a variable.
|
| LinearExpressionProto.Builder
Some constraints supports linear expression instead of just using a reference
to a variable.
|
| LinearExpressionProtoOrBuilder |
| LinearObjective
The objective of an optimization problem.
|
| LinearObjective.Builder
The objective of an optimization problem.
|
| LinearObjectiveOrBuilder |
| ListOfVariablesProto
A list of variables, without any semantics.
|
| ListOfVariablesProto.Builder
A list of variables, without any semantics.
|
| ListOfVariablesProtoOrBuilder |
| Literal
Interface to describe a boolean variable or its negation.
|
| MultipleCircuitConstraint
Specialized multiple circuit constraint.
|
| NoOverlap2dConstraint
Specialized NoOverlap2D constraint.
|
| NoOverlap2DConstraintProto
The boxes defined by [start_x, end_x) * [start_y, end_y) cannot overlap.
|
| NoOverlap2DConstraintProto.Builder
The boxes defined by [start_x, end_x) * [start_y, end_y) cannot overlap.
|
| NoOverlap2DConstraintProtoOrBuilder |
| NoOverlapConstraintProto
All the intervals (index of IntervalConstraintProto) must be disjoint.
|
| NoOverlapConstraintProto.Builder
All the intervals (index of IntervalConstraintProto) must be disjoint.
|
| NoOverlapConstraintProtoOrBuilder |
| PartialVariableAssignment
This message encodes a partial (or full) assignment of the variables of a
CpModelProto.
|
| PartialVariableAssignment.Builder
This message encodes a partial (or full) assignment of the variables of a
CpModelProto.
|
| PartialVariableAssignmentOrBuilder |
| ReservoirConstraint
Specialized reservoir constraint.
|
| ReservoirConstraintProto
Maintain a reservoir level within bounds.
|
| ReservoirConstraintProto.Builder
Maintain a reservoir level within bounds.
|
| ReservoirConstraintProtoOrBuilder |
| RoutesConstraintProto
The "VRP" (Vehicle Routing Problem) constraint.
|
| RoutesConstraintProto.Builder
The "VRP" (Vehicle Routing Problem) constraint.
|
| RoutesConstraintProtoOrBuilder |
| SatParameters
Contains the definitions for all the sat algorithm parameters and their
default values.
|
| SatParameters.BinaryMinizationAlgorithm
Whether to expoit the binary clause to minimize learned clauses further.
|
| SatParameters.Builder
Contains the definitions for all the sat algorithm parameters and their
default values.
|
| SatParameters.ClauseOrdering
The clauses that will be kept during a cleanup are the ones that come
first under this order.
|
| SatParameters.ClauseProtection
Each time a clause activity is bumped, the clause has a chance to be
protected during the next cleanup phase.
|
| SatParameters.ConflictMinimizationAlgorithm
Do we try to minimize conflicts (greedily) when creating them.
|
| SatParameters.FPRoundingMethod
Rounding method to use for feasibility pump.
|
| SatParameters.MaxSatAssumptionOrder
In what order do we add the assumptions in a core-based max-sat algorithm
|
| SatParameters.MaxSatStratificationAlgorithm
What stratification algorithm we use in the presence of weight.
|
| SatParameters.Polarity
Specifies the initial polarity (true/false) when the solver branches on a
variable.
|
| SatParameters.RestartAlgorithm
Restart algorithms.
|
| SatParameters.SearchBranching
The search branching will be used to decide how to branch on unfixed nodes.
|
| SatParameters.SharedTreeSplitStrategy
Protobuf enum
operations_research.sat.SatParameters.SharedTreeSplitStrategy |
| SatParameters.VariableOrder
Variables without activity (i.e.
|
| SatParametersOrBuilder |
| SolutionCallback |
| SolveWrapper |
| SparsePermutationProto
A permutation of integers encoded as a list of cycles, hence the "sparse"
format.
|
| SparsePermutationProto.Builder
A permutation of integers encoded as a list of cycles, hence the "sparse"
format.
|
| SparsePermutationProtoOrBuilder |
| SymmetryProto
EXPERIMENTAL.
|
| SymmetryProto.Builder
EXPERIMENTAL.
|
| SymmetryProtoOrBuilder |
| TableConstraint
Specialized assignment constraint.
|
| TableConstraintProto
The values of the n-tuple formed by the given variables can only be one of
the listed n-tuples in values.
|
| TableConstraintProto.Builder
The values of the n-tuple formed by the given variables can only be one of
the listed n-tuples in values.
|
| TableConstraintProtoOrBuilder |
| Class and Description |
|---|
| CpModelProto
A constraint programming problem.
|
| CpModelProto.Builder
A constraint programming problem.
|
| CpModelProtoOrBuilder |
| SatParameters
Contains the definitions for all the sat algorithm parameters and their
default values.
|
| SatParameters.Builder
Contains the definitions for all the sat algorithm parameters and their
default values.
|
| SatParametersOrBuilder |
Copyright © 2024. All rights reserved.