Java Reference

Java Reference

MultipleCircuitConstraint.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
16import com.google.ortools.sat.CpModelProto;
17import com.google.ortools.sat.RoutesConstraintProto;
18
25 public MultipleCircuitConstraint(CpModelProto.Builder builder) {
26 super(builder);
27 }
28
36 public MultipleCircuitConstraint addArc(int tail, int head, Literal literal) {
37 RoutesConstraintProto.Builder circuit = getBuilder().getRoutesBuilder();
38 circuit.addTails(tail);
39 circuit.addHeads(head);
40 circuit.addLiterals(literal.getIndex());
41 return this;
42 }
43}
Wrapper around a ConstraintProto.
Definition: Constraint.java:25
ConstraintProto.Builder getBuilder()
Returns the constraint builder.
Definition: Constraint.java:49
MultipleCircuitConstraint addArc(int tail, int head, Literal literal)
Add an arc to the graph of the multiple circuit constraint.
Interface to describe a boolean variable or its negation.
Definition: Literal.java:17