Google.OrTools.Sat.AutomatonConstraint Class Reference

Specialized automaton constraint. More...

Detailed Description

Specialized automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Definition at line 275 of file Constraints.cs.

Inheritance diagram for Google.OrTools.Sat.AutomatonConstraint:

Public Member Functions
	AutomatonConstraint (CpModelProto model)
AutomatonConstraint	AddTransition (int tail, int head, long label)
Public Member Functions inherited from Google.OrTools.Sat.Constraint
	Constraint (CpModelProto model)
void	OnlyEnforceIf (ILiteral lit)
	Adds a literal to the constraint.
void	OnlyEnforceIf (ILiteral[] lits)
	Adds a list of literals to the constraint.

Additional Inherited Members
Properties inherited from Google.OrTools.Sat.Constraint
int	Index [get]
	The index of the constraint in the model.
ConstraintProto	Proto [get, set]
	The underlying constraint proto.

Constructor & Destructor Documentation

AutomatonConstraint()

Google.OrTools.Sat.AutomatonConstraint.AutomatonConstraint ( CpModelProto model )

inline

Definition at line 277 of file Constraints.cs.

Member Function Documentation

AddTransition()

AutomatonConstraint Google.OrTools.Sat.AutomatonConstraint.AddTransition ( int tail, int head, long label )

inline

Definition at line 286 of file Constraints.cs.

---

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

• ortools/sat/csharp/Constraints.cs