DotNet Reference

.Net Reference

CpModel.pb.cs File Reference

Go to the source code of this file.

Classes

class  CpModelReflection
 Holder for reflection information generated from ortools/sat/cp_model.proto More...
 
class  IntegerVariableProto
 An integer variable. More...
 
class  BoolArgumentProto
 Argument of the constraints of the form OP(literals). More...
 
class  IntegerArgumentProto
 Argument of the constraints of the form target_var = OP(vars). More...
 
class  LinearExpressionProto
 
class  LinearArgumentProto
 
class  AllDifferentConstraintProto
 All variables must take different values. More...
 
class  LinearConstraintProto
 The linear sum vars[i] * coeffs[i] must fall in the given domain. More...
 
class  ElementConstraintProto
 The constraint target = vars[index]. More...
 
class  IntervalConstraintProto
 This "special" constraint not only enforces (start + size == end) but can also be referred by other constraints using this "interval" concept. More...
 
class  NoOverlapConstraintProto
 All the intervals (index of IntervalConstraintProto) must be disjoint. More...
 
class  NoOverlap2DConstraintProto
 The boxes defined by [start_x, end_x) * [start_y, end_y) cannot overlap. More...
 
class  CumulativeConstraintProto
 The sum of the demands of the intervals at each interval point cannot exceed a capacity. More...
 
class  ReservoirConstraintProto
 Maintain a reservoir level within bounds. More...
 
class  CircuitConstraintProto
 The circuit constraint is defined on a graph where the arc presence are controlled by literals. More...
 
class  RoutesConstraintProto
 The "VRP" (Vehicle Routing Problem) constraint. More...
 
class  TableConstraintProto
 The values of the n-tuple formed by the given variables can only be one of the listed n-tuples in values. More...
 
class  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. More...
 
class  AutomatonConstraintProto
 This constraint forces a sequence of variables to be accepted by an automaton. More...
 
class  ConstraintProto
 Next id: 29 More...
 
class  CpObjectiveProto
 Optimization objective. More...
 
class  DecisionStrategyProto
 Define the strategy to follow when the solver needs to take a new decision. More...
 
class  DecisionStrategyProto.Types
 Container for nested types declared in the DecisionStrategyProto message type. More...
 
class  DecisionStrategyProto.Types.AffineTransformation
 Advanced usage. More...
 
class  PartialVariableAssignment
 This message encodes a partial (or full) assignment of the variables of a CpModelProto. More...
 
class  CpModelProto
 A constraint programming problem. More...
 
class  CpSolverResponse
 The response returned by a solver trying to solve a CpModelProto. More...
 

Namespaces

namespace  Google
 
namespace  Google.OrTools
 
namespace  Google.OrTools.Sat
 

Typedefs

using pb = global::Google.Protobuf
 
using pbc = global::Google.Protobuf.Collections
 
using pbr = global::Google.Protobuf.Reflection
 
using scg = global::System.Collections.Generic
 

Enumerations

enum  CpSolverStatus {
  Unknown = 0, ModelInvalid = 1, Feasible = 2, Infeasible = 3,
  Optimal = 4
}
 The status returned by a solver trying to solve a CpModelProto. More...
 

Typedef Documentation

◆ pb

using pb = global.Google.Protobuf

Definition at line 8 of file CpModel.pb.cs.

◆ pbc

using pbc = global.Google.Protobuf.Collections

Definition at line 9 of file CpModel.pb.cs.

◆ pbr

using pbr = global.Google.Protobuf.Reflection

Definition at line 10 of file CpModel.pb.cs.

◆ scg

using scg = global.System.Collections.Generic

Definition at line 11 of file CpModel.pb.cs.