com.google.ortools.sat.AutomatonConstraint Class Reference

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

Public Member Functions
	AutomatonConstraint (CpModelProto.Builder builder)
	AutomatonConstraint (CpModelProto.Builder builder)
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 automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Definition at line 23 of file AutomatonConstraint.java.

Constructor & Destructor Documentation

AutomatonConstraint() [1/2]

com.google.ortools.sat.AutomatonConstraint.AutomatonConstraint

(

CpModelProto.Builder

builder

)

Definition at line 24 of file AutomatonConstraint.java.

AutomatonConstraint() [2/2]

com.google.ortools.sat.AutomatonConstraint.AutomatonConstraint

(

CpModelProto.Builder

builder

)

Definition at line 24 of file AutomatonConstraint.java.

---

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

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