Uses of Package
com.google.ortools.sat

Packages that use com.google.ortools.sat

Package	Description
com.google.ortools.constraintsolver
com.google.ortools.sat
com.google.ortools.sat.v1

Classes in com.google.ortools.sat used by com.google.ortools.constraintsolver

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

Classes in com.google.ortools.sat used by com.google.ortools.sat

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 expressions to be accepted by an automaton.
AutomatonConstraintProto.Builder This constraint forces a sequence of expressions 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 Protobuf type operations_research.sat.ConstraintProto
ConstraintProto.Builder Next id: 31 Protobuf type operations_research.sat.ConstraintProto
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. affine expression) has been chosen, this enum describe what decision is taken on its domain.
DecisionStrategyProto.VariableSelectionStrategy The order in which the variables (resp. affine expression) above should be considered.
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 Protobuf enum operations_research.sat.SatParameters.MaxSatAssumptionOrder
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. at the beginning of the search) will be tried in this preferred order.
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 expression can only be one of the listed n-tuples in values.
TableConstraintProto.Builder The values of the n-tuple formed by the given expression can only be one of the listed n-tuples in values.
TableConstraintProtoOrBuilder

Classes in com.google.ortools.sat used by com.google.ortools.sat.v1

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