Google OR-Tools v9.9
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 variables 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.
 

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]
 The sequence of variables. The automaton is ran for vars_size() "steps" and the value of vars[i] corresponds to the transition label at step i.
 

Detailed Description

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

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

Constructor & Destructor Documentation

◆ AutomatonConstraintProto() [1/2]

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

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

◆ AutomatonConstraintProto() [2/2]

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

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

Member Function Documentation

◆ CalculateSize()

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

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

◆ Clone()

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

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

◆ Equals() [1/2]

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

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

◆ Equals() [2/2]

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

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

◆ GetHashCode()

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

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

◆ MergeFrom() [1/2]

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

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

◆ MergeFrom() [2/2]

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

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

◆ ToString()

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

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

◆ WriteTo()

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

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

Member Data Documentation

◆ FinalStatesFieldNumber

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

Field number for the "final_states" field.

Definition at line 4313 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 4296 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 4340 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 4351 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 4324 of file CpModel.pb.cs.

◆ VarsFieldNumber

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

Field number for the "vars" field.

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

Property Documentation

◆ Descriptor

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

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

◆ FinalStates

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

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

◆ Parser

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

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

◆ TransitionHead

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

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

◆ TransitionLabel

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

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

◆ Vars

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

The sequence of variables. The automaton is ran for vars_size() "steps" and the value of vars[i] corresponds to the transition label at step i.

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

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