Package com.google.ortools.sat

Class CircuitConstraint

java.lang.Object

com.google.ortools.sat.Constraint

com.google.ortools.sat.CircuitConstraint

public class CircuitConstraint
extends Constraint

Specialized circuit constraint.

This constraint allows adding arcs to the circuit constraint incrementally.

Constructor Summary

Constructors

Constructor	Description
CircuitConstraint(CpModelProto.Builder builder)

Method Summary

Modifier and Type	Method	Description
CircuitConstraint	addArc(int tail, int head, Literal literal)	Add an arc to the graph of the 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

CircuitConstraint

public CircuitConstraint(CpModelProto.Builder builder)

Method Detail

addArc

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

Add an arc to the graph of the 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.