DotNet Reference

.Net Reference

Detailed Description

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

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

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. More...
 
const int FinalStatesFieldNumber = 3
 Field number for the "final_states" field. More...
 
const int TransitionTailFieldNumber = 4
 Field number for the "transition_tail" field. More...
 
const int TransitionHeadFieldNumber = 5
 Field number for the "transition_head" field. More...
 
const int TransitionLabelFieldNumber = 6
 Field number for the "transition_label" field. More...
 
const int VarsFieldNumber = 7
 Field number for the "vars" field. More...
 

Properties

static pb::MessageParser< AutomatonConstraintProtoParser [get]
 
static pbr::MessageDescriptor Descriptor [get]
 
long StartingState [get, set]
 A state is identified by a non-negative number. More...
 
pbc::RepeatedField< long > FinalStates [get]
 
pbc::RepeatedField< long > TransitionTail [get]
 List of transitions (all 3 vectors have the same size). More...
 
pbc::RepeatedField< long > TransitionHead [get]
 
pbc::RepeatedField< long > TransitionLabel [get]
 
pbc::RepeatedField< int > Vars [get]
 The sequence of variables. More...
 

Constructor & Destructor Documentation

◆ AutomatonConstraintProto() [1/2]

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

◆ AutomatonConstraintProto() [2/2]

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

Member Function Documentation

◆ CalculateSize()

int CalculateSize ( )
inline

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

◆ Clone()

AutomatonConstraintProto Clone ( )
inline

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

◆ Equals() [1/2]

bool Equals ( AutomatonConstraintProto  other)
inline

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

◆ Equals() [2/2]

override bool Equals ( object  other)
inline

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

◆ GetHashCode()

override int GetHashCode ( )
inline

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

◆ MergeFrom() [1/2]

void MergeFrom ( AutomatonConstraintProto  other)
inline

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

◆ MergeFrom() [2/2]

void MergeFrom ( pb::CodedInputStream  input)
inline

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

◆ ToString()

override string ToString ( )
inline

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

◆ WriteTo()

void WriteTo ( pb::CodedOutputStream  output)
inline

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

Member Data Documentation

◆ FinalStatesFieldNumber

const int FinalStatesFieldNumber = 3
static

Field number for the "final_states" field.

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

◆ StartingStateFieldNumber

const int StartingStateFieldNumber = 2
static

Field number for the "starting_state" field.

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

◆ TransitionHeadFieldNumber

const int TransitionHeadFieldNumber = 5
static

Field number for the "transition_head" field.

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

◆ TransitionLabelFieldNumber

const int TransitionLabelFieldNumber = 6
static

Field number for the "transition_label" field.

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

◆ TransitionTailFieldNumber

const int TransitionTailFieldNumber = 4
static

Field number for the "transition_tail" field.

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

◆ VarsFieldNumber

const int VarsFieldNumber = 7
static

Field number for the "vars" field.

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

Property Documentation

◆ Descriptor

pbr.MessageDescriptor Descriptor
staticget

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

◆ FinalStates

pbc.RepeatedField<long> FinalStates
get

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

◆ Parser

pb.MessageParser<AutomatonConstraintProto> Parser
staticget

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

◆ StartingState

long 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 4290 of file CpModel.pb.cs.

◆ TransitionHead

pbc.RepeatedField<long> TransitionHead
get

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

◆ TransitionLabel

pbc.RepeatedField<long> TransitionLabel
get

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

◆ TransitionTail

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.

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

◆ Vars

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.

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


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