Package com.google.ortools.sat

Class MultipleCircuitConstraint

java.lang.Object

com.google.ortools.sat.Constraint

com.google.ortools.sat.MultipleCircuitConstraint

public class MultipleCircuitConstraint
extends Constraint

Specialized multiple circuit constraint.

This constraint allows adding arcs to the multiple circuit constraint incrementally.

Constructor Summary

Constructors

Constructor	Description
MultipleCircuitConstraint(CpModelProto.Builder builder)

Method Summary

Modifier and Type	Method	Description
MultipleCircuitConstraint	addArc(int tail, int head, Literal literal)	Add an arc to the graph of the multiple circuit constraint.

Methods inherited from class com.google.ortools.sat.Constraint

getBuilder, getIndex, onlyEnforceIf, onlyEnforceIf

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MultipleCircuitConstraint

public MultipleCircuitConstraint(CpModelProto.Builder builder)

Method Detail

addArc

public MultipleCircuitConstraint addArc(int tail,
                                        int head,
                                        Literal literal)

Add an arc to the graph of the multiple circuit constraint.

Parameters:

tail - the index of the tail node.

head - the index of the head node.

literal - it will be set to true if the arc is selected.