Java Reference

Java Reference

NotBoolVar.java
Go to the documentation of this file.
1// Copyright 2010-2021 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
14package com.google.ortools.sat;
15
20public final class NotBoolVar implements Literal {
21 public NotBoolVar(BoolVar boolVar) {
22 this.boolVar = boolVar;
23 }
24
26 @Override
27 public int getIndex() {
28 return -boolVar.getIndex() - 1;
29 }
30
32 @Override
33 public Literal not() {
34 return boolVar;
35 }
36
37 // LinearArgument interface.
38 @Override
39 public LinearExpr build() {
40 return new AffineExpression(boolVar.getIndex(), -1, 1);
41 }
42
44 @Override
45 public String toString() {
46 return "not(" + boolVar + ")";
47 }
48
49 private final BoolVar boolVar;
50}
A specialized linear expression: a * x + b.
An Boolean variable.
Definition: BoolVar.java:20
int getIndex()
Returns the index of the variable in the underlying CpModelProto.
Definition: IntVar.java:44
The negation of a boolean variable.
Definition: NotBoolVar.java:20
int getIndex()
returns the index in the literal in the underlying CpModelProto.
Definition: NotBoolVar.java:27
LinearExpr build()
Builds a linear expression.
Definition: NotBoolVar.java:39
Literal not()
Returns the negation of this literal.
Definition: NotBoolVar.java:33
String toString()
Returns a short string describing this literal.
Definition: NotBoolVar.java:45
A linear expression (sum (ai * xi) + b).
Definition: LinearExpr.java:19
Interface to describe a boolean variable or its negation.
Definition: Literal.java:17