AutomatonConstraint

Detailed Description

Specialized automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Definition at line 275 of file Constraints.cs.

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

Properties
int	Index [get]
	The index of the constraint in the model. More...
ConstraintProto	Proto [get, set]
	The underlying constraint proto. More...

Constructor & Destructor Documentation

AutomatonConstraint()

AutomatonConstraint ( CpModelProto  model )

inline

Definition at line 277 of file Constraints.cs.

Member Function Documentation

AddTransition()

AutomatonConstraint AddTransition ( int  tail, int  head, long  label  )

inline

Definition at line 286 of file Constraints.cs.

OnlyEnforceIf() [1/2]

void OnlyEnforceIf ( ILiteral  lit )

inlineinherited

Adds a literal to the constraint.

Definition at line 38 of file Constraints.cs.

OnlyEnforceIf() [2/2]

void OnlyEnforceIf ( ILiteral[]  lits )

inlineinherited

Adds a list of literals to the constraint.

Definition at line 44 of file Constraints.cs.

Property Documentation

Index

int Index

getinherited

The index of the constraint in the model.

Definition at line 53 of file Constraints.cs.

Proto

ConstraintProto Proto

getsetinherited

The underlying constraint proto.

Definition at line 61 of file Constraints.cs.

---

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

• Constraints.cs