Google OR-Tools v9.15
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 4770 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 expressions. 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 4795 of file CpModel.pb.cs.

◆ AutomatonConstraintProto() [2/2]

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

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

Member Function Documentation

◆ CalculateSize()

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

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

◆ Clone()

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

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

◆ Equals() [1/2]

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

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

◆ Equals() [2/2]

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

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

◆ GetHashCode()

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

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

◆ MergeFrom() [1/2]

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

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

◆ MergeFrom() [2/2]

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

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

◆ ToString()

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

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

◆ WriteTo()

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

Definition at line 4965 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 4901 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 4838 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 4821 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 4865 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 4876 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 4849 of file CpModel.pb.cs.

◆ VarsFieldNumber

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

Field number for the "vars" field.

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

Property Documentation

◆ Descriptor

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

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

◆ Exprs

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

The sequence of expressions. 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 4911 of file CpModel.pb.cs.

◆ FinalStates

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

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

◆ Parser

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

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

◆ TransitionHead

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

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

◆ TransitionLabel

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

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

◆ Vars

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

Legacy field.

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

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