Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | Properties | List of all members
Google.OrTools.Sat.AutomatonConstraintProto Class Referencesealed

This constraint forces a sequence of expressions to be accepted by an automaton. More...

Inheritance diagram for Google.OrTools.Sat.AutomatonConstraintProto:

Public Member Functions

 AutomatonConstraintProto ()
 
 AutomatonConstraintProto (AutomatonConstraintProto other)
 
AutomatonConstraintProto Clone ()
 
override bool Equals (object other)
 
bool Equals (AutomatonConstraintProto other)
 
override int GetHashCode ()
 
override string ToString ()
 
void WriteTo (pb::CodedOutputStream output)
 
int CalculateSize ()
 
void MergeFrom (AutomatonConstraintProto other)
 
void MergeFrom (pb::CodedInputStream input)
 

Static Public Attributes

const int StartingStateFieldNumber = 2
 Field number for the "starting_state" field.
 
const int FinalStatesFieldNumber = 3
 Field number for the "final_states" field.
 
const int TransitionTailFieldNumber = 4
 Field number for the "transition_tail" field.
 
const int TransitionHeadFieldNumber = 5
 Field number for the "transition_head" field.
 
const int TransitionLabelFieldNumber = 6
 Field number for the "transition_label" field.
 
const int VarsFieldNumber = 7
 Field number for the "vars" field.
 
const int ExprsFieldNumber = 8
 Field number for the "exprs" field.
 

Properties

static pb::MessageParser< AutomatonConstraintProto > Parser [get]
 
static pbr::MessageDescriptor Descriptor [get]
 
long StartingState [get, set]
 A state is identified by a non-negative number. It is preferable to keep all the states dense in says [0, num_states). The automaton starts at starting_state and must finish in any of the final states.
 
pbc::RepeatedField< long > FinalStates [get]
 
pbc::RepeatedField< long > TransitionTail [get]
 List of transitions (all 3 vectors have the same size). Both tail and head are states, label is any variable value. No two outgoing transitions from the same state can have the same label.
 
pbc::RepeatedField< long > TransitionHead [get]
 
pbc::RepeatedField< long > TransitionLabel [get]
 
pbc::RepeatedField< int > Vars [get]
 Legacy field.
 
pbc::RepeatedField< global::Google.OrTools.Sat.LinearExpressionProto > Exprs [get]
 The sequence of affine expressions (a * var + b). The automaton is ran for exprs_size() "steps" and the value of exprs[i] corresponds to the transition label at step i.
 

Detailed Description

This constraint forces a sequence of expressions to be accepted by an automaton.

Definition at line 4552 of file CpModel.pb.cs.

Constructor & Destructor Documentation

◆ AutomatonConstraintProto() [1/2]

Google.OrTools.Sat.AutomatonConstraintProto.AutomatonConstraintProto ( )
inline

Definition at line 4577 of file CpModel.pb.cs.

◆ AutomatonConstraintProto() [2/2]

Google.OrTools.Sat.AutomatonConstraintProto.AutomatonConstraintProto ( AutomatonConstraintProto other)
inline

Definition at line 4585 of file CpModel.pb.cs.

Member Function Documentation

◆ CalculateSize()

int Google.OrTools.Sat.AutomatonConstraintProto.CalculateSize ( )
inline

Definition at line 4790 of file CpModel.pb.cs.

◆ Clone()

AutomatonConstraintProto Google.OrTools.Sat.AutomatonConstraintProto.Clone ( )
inline

Definition at line 4598 of file CpModel.pb.cs.

◆ Equals() [1/2]

bool Google.OrTools.Sat.AutomatonConstraintProto.Equals ( AutomatonConstraintProto other)
inline

Definition at line 4706 of file CpModel.pb.cs.

◆ Equals() [2/2]

override bool Google.OrTools.Sat.AutomatonConstraintProto.Equals ( object other)
inline

Definition at line 4700 of file CpModel.pb.cs.

◆ GetHashCode()

override int Google.OrTools.Sat.AutomatonConstraintProto.GetHashCode ( )
inline

Definition at line 4725 of file CpModel.pb.cs.

◆ MergeFrom() [1/2]

void Google.OrTools.Sat.AutomatonConstraintProto.MergeFrom ( AutomatonConstraintProto other)
inline

Definition at line 4809 of file CpModel.pb.cs.

◆ MergeFrom() [2/2]

void Google.OrTools.Sat.AutomatonConstraintProto.MergeFrom ( pb.CodedInputStream input)
inline

Definition at line 4827 of file CpModel.pb.cs.

◆ ToString()

override string Google.OrTools.Sat.AutomatonConstraintProto.ToString ( )
inline

Definition at line 4742 of file CpModel.pb.cs.

◆ WriteTo()

void Google.OrTools.Sat.AutomatonConstraintProto.WriteTo ( pb.CodedOutputStream output)
inline

Definition at line 4748 of file CpModel.pb.cs.

Member Data Documentation

◆ ExprsFieldNumber

const int Google.OrTools.Sat.AutomatonConstraintProto.ExprsFieldNumber = 8
static

Field number for the "exprs" field.

Definition at line 4683 of file CpModel.pb.cs.

◆ FinalStatesFieldNumber

const int Google.OrTools.Sat.AutomatonConstraintProto.FinalStatesFieldNumber = 3
static

Field number for the "final_states" field.

Definition at line 4620 of file CpModel.pb.cs.

◆ StartingStateFieldNumber

const int Google.OrTools.Sat.AutomatonConstraintProto.StartingStateFieldNumber = 2
static

Field number for the "starting_state" field.

Definition at line 4603 of file CpModel.pb.cs.

◆ TransitionHeadFieldNumber

const int Google.OrTools.Sat.AutomatonConstraintProto.TransitionHeadFieldNumber = 5
static

Field number for the "transition_head" field.

Definition at line 4647 of file CpModel.pb.cs.

◆ TransitionLabelFieldNumber

const int Google.OrTools.Sat.AutomatonConstraintProto.TransitionLabelFieldNumber = 6
static

Field number for the "transition_label" field.

Definition at line 4658 of file CpModel.pb.cs.

◆ TransitionTailFieldNumber

const int Google.OrTools.Sat.AutomatonConstraintProto.TransitionTailFieldNumber = 4
static

Field number for the "transition_tail" field.

Definition at line 4631 of file CpModel.pb.cs.

◆ VarsFieldNumber

const int Google.OrTools.Sat.AutomatonConstraintProto.VarsFieldNumber = 7
static

Field number for the "vars" field.

Definition at line 4669 of file CpModel.pb.cs.

Property Documentation

◆ Descriptor

pbr.MessageDescriptor Google.OrTools.Sat.AutomatonConstraintProto.Descriptor
staticget

Definition at line 4565 of file CpModel.pb.cs.

◆ Exprs

pbc.RepeatedField<global.Google.OrTools.Sat.LinearExpressionProto> Google.OrTools.Sat.AutomatonConstraintProto.Exprs
get

The sequence of affine expressions (a * var + b). The automaton is ran for exprs_size() "steps" and the value of exprs[i] corresponds to the transition label at step i.

Definition at line 4694 of file CpModel.pb.cs.

◆ FinalStates

pbc.RepeatedField<long> Google.OrTools.Sat.AutomatonConstraintProto.FinalStates
get

Definition at line 4626 of file CpModel.pb.cs.

◆ Parser

pb.MessageParser<AutomatonConstraintProto> Google.OrTools.Sat.AutomatonConstraintProto.Parser
staticget

Definition at line 4561 of file CpModel.pb.cs.

◆ StartingState

long Google.OrTools.Sat.AutomatonConstraintProto.StartingState
getset

A state is identified by a non-negative number. It is preferable to keep all the states dense in says [0, num_states). The automaton starts at starting_state and must finish in any of the final states.

Definition at line 4612 of file CpModel.pb.cs.

◆ TransitionHead

pbc.RepeatedField<long> Google.OrTools.Sat.AutomatonConstraintProto.TransitionHead
get

Definition at line 4653 of file CpModel.pb.cs.

◆ TransitionLabel

pbc.RepeatedField<long> Google.OrTools.Sat.AutomatonConstraintProto.TransitionLabel
get

Definition at line 4664 of file CpModel.pb.cs.

◆ TransitionTail

pbc.RepeatedField<long> Google.OrTools.Sat.AutomatonConstraintProto.TransitionTail
get

List of transitions (all 3 vectors have the same size). Both tail and head are states, label is any variable value. No two outgoing transitions from the same state can have the same label.

Definition at line 4642 of file CpModel.pb.cs.

◆ Vars

pbc.RepeatedField<int> Google.OrTools.Sat.AutomatonConstraintProto.Vars
get

Legacy field.

Definition at line 4678 of file CpModel.pb.cs.

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