Google.OrTools.Sat.AutomatonConstraint Class Reference

Specialized automaton constraint. More...

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.

Detailed Description

Specialized automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Definition at line 275 of file Constraints.cs.

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