Google OR-Tools 7.7
DotNet Reference
CP-SAT
Graph
Knapsack solver
Linear solver
Routing
Util
DotNet Reference
Namespaces
Classes
Files
ortools
sat
samples
LiteralSampleSat.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
LiteralSampleSat
18
{
19
static
void
Main()
20
{
21
CpModel
model =
new
CpModel
();
22
IntVar
x = model.
NewBoolVar
(
"x"
);
23
ILiteral
not_x = x.
Not
();
24
}
25
}
Google.OrTools.Sat.CpModel
Wrapper class around the cp_model proto.
Definition:
CpModel.cs:24
Google.OrTools.Sat.IntVar
Definition:
IntegerExpressions.cs:498
Google
Definition:
algorithms/Int64Vector.cs:11
Google.OrTools.Sat.IntVar.Not
ILiteral Not()
Definition:
IntegerExpressions.cs:553
Google.OrTools.Sat.ILiteral
Definition:
IntegerExpressions.cs:43
Google.OrTools
Definition:
algorithms/Int64Vector.cs:11
Google.OrTools.Sat.CpModel.NewBoolVar
IntVar NewBoolVar(string name)
Definition:
CpModel.cs:67
LiteralSampleSat
Definition:
LiteralSampleSat.cs:18
Google.OrTools.Sat
Definition:
CpModel.pb.cs:12