com.google.ortools.sat.AutomatonConstraint Class Reference

Detailed Description

Specialized automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Definition at line 23 of file AutomatonConstraint.java.

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

Public Member Functions
	AutomatonConstraint (CpModelProto.Builder builder)
AutomatonConstraint	addTransition (int tail, int head, long label)
	AutomatonConstraint (CpModelProto.Builder builder)
AutomatonConstraint	addTransition (int tail, int head, long label)
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 ()

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.

Member Function Documentation

addTransition() [1/2]

AutomatonConstraint com.google.ortools.sat.AutomatonConstraint.addTransition	(	int	tail,
		int	head,
		long	label )

Adds a transitions to the automaton.

Parameters

tail	the tail of the transition
head	the head of the transition
label	the label of the transition

Returns

this constraint

Definition at line 36 of file AutomatonConstraint.java.

addTransition() [2/2]

AutomatonConstraint com.google.ortools.sat.AutomatonConstraint.addTransition	(	int	tail,
		int	head,
		long	label )

Adds a transitions to the automaton.

Parameters

tail	the tail of the transition
head	the head of the transition
label	the label of the transition

Returns

this constraint

Definition at line 36 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