com.google.ortools.sat.CircuitConstraint Class Reference

Inheritance diagram for com.google.ortools.sat.CircuitConstraint:

Public Member Functions
	CircuitConstraint (CpModelProto.Builder builder)
CircuitConstraint	addArc (int tail, int head, Literal literal)
	CircuitConstraint (CpModelProto.Builder builder)
CircuitConstraint	addArc (int tail, int head, Literal literal)
Public Member Functions inherited from com.google.ortools.sat.Constraint
	Constraint (CpModelProto.Builder builder)
void	onlyEnforceIf (Literal lit)
void	onlyEnforceIf (Literal[] lits)
int	getIndex ()
ConstraintProto.Builder	getBuilder ()
	Constraint (CpModelProto.Builder builder)
void	onlyEnforceIf (Literal lit)
void	onlyEnforceIf (Literal[] lits)
int	getIndex ()
ConstraintProto.Builder	getBuilder ()

Detailed Description

Specialized circuit constraint.

This constraint allows adding arcs to the circuit constraint incrementally.

Definition at line 24 of file CircuitConstraint.java.

Constructor & Destructor Documentation

CircuitConstraint() [1/2]

com.google.ortools.sat.CircuitConstraint.CircuitConstraint

(

CpModelProto.Builder

builder

)

Definition at line 25 of file CircuitConstraint.java.

CircuitConstraint() [2/2]

com.google.ortools.sat.CircuitConstraint.CircuitConstraint

(

CpModelProto.Builder

builder

)

Definition at line 25 of file CircuitConstraint.java.

Member Function Documentation

addArc() [1/2]

CircuitConstraint com.google.ortools.sat.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.

Definition at line 36 of file CircuitConstraint.java.

addArc() [2/2]

CircuitConstraint com.google.ortools.sat.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.

Definition at line 36 of file CircuitConstraint.java.

---

The documentation for this class was generated from the following files:

• ortools/java/com/google/ortools/sat/CircuitConstraint.java
• build/java/ortools-java/src/main/java/com/google/ortools/sat/CircuitConstraint.java