com.google.ortools.sat

Interfaces

• AllDifferentConstraintProtoOrBuilder
• AutomatonConstraintProtoOrBuilder
• BoolArgumentProtoOrBuilder
• BooleanAssignmentOrBuilder
• CircuitConstraintProtoOrBuilder
• ConstraintProtoOrBuilder
• CpModelProtoOrBuilder
• CpObjectiveProtoOrBuilder
• CpSolverResponseOrBuilder
• CpSolverSolutionOrBuilder
• CumulativeConstraintProtoOrBuilder
• DecisionStrategyProtoOrBuilder
• DenseMatrixProtoOrBuilder
• ElementConstraintProtoOrBuilder
• FloatObjectiveProtoOrBuilder
• IntegerVariableProtoOrBuilder
• IntervalConstraintProtoOrBuilder
• InverseConstraintProtoOrBuilder
• LinearArgument
• LinearArgumentProtoOrBuilder
• LinearBooleanConstraintOrBuilder
• LinearBooleanProblemOrBuilder
• LinearConstraintProtoOrBuilder
• LinearExpr
• LinearExpressionProtoOrBuilder
• LinearObjectiveOrBuilder
• ListOfVariablesProtoOrBuilder
• Literal
• NoOverlap2DConstraintProtoOrBuilder
• NoOverlapConstraintProtoOrBuilder
• PartialVariableAssignmentOrBuilder
• ReservoirConstraintProtoOrBuilder
• RoutesConstraintProtoOrBuilder
• SatParametersOrBuilder
• SparsePermutationProtoOrBuilder
• SymmetryProtoOrBuilder
• TableConstraintProtoOrBuilder

Classes

• AffineExpression
• AllDifferentConstraintProto
• AllDifferentConstraintProto.Builder
• AutomatonConstraint
• AutomatonConstraintProto
• AutomatonConstraintProto.Builder
• BoolArgumentProto
• BoolArgumentProto.Builder
• BooleanAssignment
• BooleanAssignment.Builder
• BooleanProblem
• BoolVar
• CircuitConstraint
• CircuitConstraintProto
• CircuitConstraintProto.Builder
• ConstantExpression
• Constraint
• ConstraintProto
• ConstraintProto.Builder
• CpModel
• CpModelProto
• CpModelProto.Builder
• CpModelProtobuf
• CpObjectiveProto
• CpObjectiveProto.Builder
• CpSatHelper
• CpSolver
• CpSolverResponse
• CpSolverResponse.Builder
• CpSolverSolution
• CpSolverSolution.Builder
• CpSolverSolutionCallback
• CumulativeConstraint
• CumulativeConstraintProto
• CumulativeConstraintProto.Builder
• DecisionStrategyProto
• DecisionStrategyProto.Builder
• DenseMatrixProto
• DenseMatrixProto.Builder
• DoubleLinearExpr
• ElementConstraintProto
• ElementConstraintProto.Builder
• FloatObjectiveProto
• FloatObjectiveProto.Builder
• IntegerVariableProto
• IntegerVariableProto.Builder
• IntervalConstraintProto
• IntervalConstraintProto.Builder
• IntervalVar
• IntVar
• InverseConstraintProto
• InverseConstraintProto.Builder
• LinearArgumentProto
• LinearArgumentProto.Builder
• LinearBooleanConstraint
• LinearBooleanConstraint.Builder
• LinearBooleanProblem
• LinearBooleanProblem.Builder
• LinearConstraintProto
• LinearConstraintProto.Builder
• LinearExprBuilder
• LinearExpressionProto
• LinearExpressionProto.Builder
• LinearObjective
• LinearObjective.Builder
• ListOfVariablesProto
• ListOfVariablesProto.Builder
• main
• mainJNI
• MultipleCircuitConstraint
• NoOverlap2dConstraint
• NoOverlap2DConstraintProto
• NoOverlap2DConstraintProto.Builder
• NoOverlapConstraintProto
• NoOverlapConstraintProto.Builder
• NotBoolVar
• PartialVariableAssignment
• PartialVariableAssignment.Builder
• ReservoirConstraint
• ReservoirConstraintProto
• ReservoirConstraintProto.Builder
• RoutesConstraintProto
• RoutesConstraintProto.Builder
• SatParameters
• SatParameters.Builder
• SatParametersOuterClass
• SolutionCallback
• SolveWrapper
• SparsePermutationProto
• SparsePermutationProto.Builder
• SymmetryProto
• SymmetryProto.Builder
• TableConstraint
• TableConstraintProto
• TableConstraintProto.Builder
• WeightedSumExpression

Enums

• ConstraintProto.ConstraintCase
• CpSolverStatus
• DecisionStrategyProto.DomainReductionStrategy
• DecisionStrategyProto.VariableSelectionStrategy
• SatParameters.BinaryMinizationAlgorithm
• SatParameters.ClauseOrdering
• SatParameters.ClauseProtection
• SatParameters.ConflictMinimizationAlgorithm
• SatParameters.FPRoundingMethod
• SatParameters.MaxSatAssumptionOrder
• SatParameters.MaxSatStratificationAlgorithm
• SatParameters.Polarity
• SatParameters.RestartAlgorithm
• SatParameters.SearchBranching
• SatParameters.SharedTreeSplitStrategy
• SatParameters.VariableOrder

Exceptions

• CpModel.MismatchedArrayLengths
• CpModel.WrongLength