operations_research::sat::AutomatonConstraint Class Reference

#include <cp_model.h>

Inheritance diagram for operations_research::sat::AutomatonConstraint:

Public Member Functions
void	AddTransition (int tail, int head, int64_t transition_label)
	Adds a transitions to the automaton.
Public Member Functions inherited from operations_research::sat::Constraint
Constraint	OnlyEnforceIf (absl::Span< const BoolVar > literals)
Constraint	OnlyEnforceIf (BoolVar literal)
	See OnlyEnforceIf(absl::Span<const BoolVar> literals).
Constraint	WithName (absl::string_view name)
	Sets the name of the constraint.
absl::string_view	Name () const
	Returns the name of the constraint (or the empty string if not set).
const ConstraintProto &	Proto () const
	Returns the underlying protobuf object (useful for testing).
ConstraintProto *	MutableProto () const
	Returns the mutable underlying protobuf object (useful for model edition).

Friends
class	CpModelBuilder

Additional Inherited Members
Protected Member Functions inherited from operations_research::sat::Constraint
	Constraint (ConstraintProto *proto)
Protected Attributes inherited from operations_research::sat::Constraint
ConstraintProto *	proto_ = nullptr

Detailed Description

Specialized automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Definition at line 678 of file cp_model.h.

Member Function Documentation

AddTransition()

void operations_research::sat::AutomatonConstraint::AddTransition	(	int	tail,
		int	head,
		int64_t	transition_label )

Adds a transitions to the automaton.

Definition at line 554 of file cp_model.cc.

Friends And Related Symbol Documentation

CpModelBuilder

friend class CpModelBuilder

friend

Definition at line 684 of file cp_model.h.

---

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

• ortools/sat/cp_model.h
• ortools/sat/cp_model.cc