Java Reference

Java Reference

Detailed Description

Specialized automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Definition at line 23 of file AutomatonConstraint.java.

Public Member Functions

 AutomatonConstraint (CpModelProto.Builder builder)
 
void onlyEnforceIf (Literal lit)
 Adds a literal to the constraint. More...
 
void onlyEnforceIf (Literal[] lits)
 Adds a list of literals to the constraint. More...
 
int getIndex ()
 Returns the index of the constraint in the model. More...
 
ConstraintProto.Builder getBuilder ()
 Returns the constraint builder. More...
 

Constructor & Destructor Documentation

◆ AutomatonConstraint()

AutomatonConstraint ( CpModelProto.Builder  builder)

Definition at line 24 of file AutomatonConstraint.java.

Member Function Documentation

◆ getBuilder()

ConstraintProto.Builder getBuilder ( )
inherited

Returns the constraint builder.

Definition at line 49 of file Constraint.java.

◆ getIndex()

int getIndex ( )
inherited

Returns the index of the constraint in the model.

Definition at line 44 of file Constraint.java.

◆ onlyEnforceIf() [1/2]

void onlyEnforceIf ( Literal  lit)
inherited

Adds a literal to the constraint.

Definition at line 32 of file Constraint.java.

◆ onlyEnforceIf() [2/2]

void onlyEnforceIf ( Literal[]  lits)
inherited

Adds a list of literals to the constraint.

Definition at line 37 of file Constraint.java.


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