DotNet Reference

DotNet Reference

IntervalSampleSat.cs
Go to the documentation of this file.
1 // Copyright 2010-2018 Google LLC
2 // Licensed under the Apache License, Version 2.0 (the "License");
3 // you may not use this file except in compliance with the License.
4 // You may obtain a copy of the License at
5 //
6 // http://www.apache.org/licenses/LICENSE-2.0
7 //
8 // Unless required by applicable law or agreed to in writing, software
9 // distributed under the License is distributed on an "AS IS" BASIS,
10 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
11 // See the License for the specific language governing permissions and
12 // limitations under the License.
13 
14 using System;
15 using Google.OrTools.Sat;
16 
17 public class IntervalSampleSat
18 {
19  static void Main()
20  {
21  CpModel model = new CpModel();
22  int horizon = 100;
23  IntVar start_var = model.NewIntVar(0, horizon, "start");
24  // C# code supports IntVar or integer constants in intervals.
25  int duration = 10;
26  IntVar end_var = model.NewIntVar(0, horizon, "end");
27  IntervalVar interval =
28  model.NewIntervalVar(start_var, duration, end_var, "interval");
29  }
30 }
Wrapper class around the cp_model proto.
Definition: CpModel.cs:24
IntVar NewIntVar(long lb, long ub, string name)
Definition: CpModel.cs:45
Definition: CpModel.pb.cs:12