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

Public Member Functions
	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

Wrapper around a ConstraintProto.

Constraints created by the CpModel class are automatically added to the model. One needs this class to add an enforcement literal to a constraint.

Definition at line 25 of file Constraint.java.

Constructor & Destructor Documentation

◆ Constraint() [1/2]

com.google.ortools.sat.Constraint.Constraint ( CpModelProto.Builder builder )

Definition at line 26 of file Constraint.java.

◆ Constraint() [2/2]

com.google.ortools.sat.Constraint.Constraint ( CpModelProto.Builder builder )

Definition at line 26 of file Constraint.java.

Member Function Documentation

◆ getBuilder() [1/2]

ConstraintProto.Builder com.google.ortools.sat.Constraint.getBuilder ( )

Returns the constraint builder.

Definition at line 49 of file Constraint.java.

◆ getBuilder() [2/2]

ConstraintProto.Builder com.google.ortools.sat.Constraint.getBuilder ( )

Returns the constraint builder.

Definition at line 49 of file Constraint.java.

◆ getIndex() [1/2]

int com.google.ortools.sat.Constraint.getIndex ( )

Returns the index of the constraint in the model.

Definition at line 44 of file Constraint.java.

◆ getIndex() [2/2]

int com.google.ortools.sat.Constraint.getIndex ( )

Returns the index of the constraint in the model.

Definition at line 44 of file Constraint.java.

◆ onlyEnforceIf() [1/4]

void com.google.ortools.sat.Constraint.onlyEnforceIf ( Literal lit )

Adds a literal to the constraint.

Definition at line 32 of file Constraint.java.

◆ onlyEnforceIf() [2/4]