Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Google.OrTools.Sat.AutomatonConstraintProto Class Referencesealed

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

Detailed Description

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

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

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.

Constructor & Destructor Documentation

◆ AutomatonConstraintProto() [1/2]

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

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

◆ AutomatonConstraintProto() [2/2]

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

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

Member Function Documentation

◆ CalculateSize()

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

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

◆ Clone()

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

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

◆ Equals() [1/2]

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

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

◆ Equals() [2/2]

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

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

◆ GetHashCode()

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

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

◆ MergeFrom() [1/2]

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

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

◆ MergeFrom() [2/2]

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

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

◆ ToString()

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

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

◆ WriteTo()

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

Definition at line 4982 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 4917 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 4854 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 4837 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 4881 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 4892 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 4865 of file CpModel.pb.cs.

◆ VarsFieldNumber

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

Field number for the "vars" field.

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

Property Documentation

◆ Descriptor

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

Definition at line 4799 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 4928 of file CpModel.pb.cs.

◆ FinalStates

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

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

◆ Parser

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

Definition at line 4795 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 4846 of file CpModel.pb.cs.

◆ TransitionHead

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

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

◆ TransitionLabel

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

Definition at line 4898 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 4876 of file CpModel.pb.cs.

◆ Vars

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

Legacy field.

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

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