Java Reference

Java Reference

Constraint.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.ConstraintProto;
17import com.google.ortools.sat.CpModelProto;
18
25public class Constraint {
26 public Constraint(CpModelProto.Builder builder) {
27 this.constraintIndex = builder.getConstraintsCount();
28 this.constraintBuilder = builder.addConstraintsBuilder();
29 }
30
32 public void onlyEnforceIf(Literal lit) {
33 constraintBuilder.addEnforcementLiteral(lit.getIndex());
34 }
35
37 public void onlyEnforceIf(Literal[] lits) {
38 for (Literal lit : lits) {
39 constraintBuilder.addEnforcementLiteral(lit.getIndex());
40 }
41 }
42
44 public int getIndex() {
45 return constraintIndex;
46 }
47
49 public ConstraintProto.Builder getBuilder() {
50 return constraintBuilder;
51 }
52
53 private final int constraintIndex;
54 private final ConstraintProto.Builder constraintBuilder;
55}
Wrapper around a ConstraintProto.
Definition: Constraint.java:25
void onlyEnforceIf(Literal[] lits)
Adds a list of literals to the constraint.
Definition: Constraint.java:37
int getIndex()
Returns the index of the constraint in the model.
Definition: Constraint.java:44
Constraint(CpModelProto.Builder builder)
Definition: Constraint.java:26
ConstraintProto.Builder getBuilder()
Returns the constraint builder.
Definition: Constraint.java:49
void onlyEnforceIf(Literal lit)
Adds a literal to the constraint.
Definition: Constraint.java:32
Interface to describe a boolean variable or its negation.
Definition: Literal.java:17