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 Details

  • Method Details

    • 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.