DotNet Reference
DotNet Reference
Detailed Description
This constraint forces a sequence of variables to be accepted by an automaton.
Definition at line 3311 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< AutomatonConstraintProto > | Parser [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]
|
inline |
Definition at line 3328 of file CpModel.pb.cs.
◆ AutomatonConstraintProto() [2/2]
|
inline |
Definition at line 3335 of file CpModel.pb.cs.
Member Function Documentation
◆ CalculateSize()
|
inline |
Definition at line 3484 of file CpModel.pb.cs.
◆ Clone()
|
inline |
Definition at line 3346 of file CpModel.pb.cs.
◆ Equals() [1/2]
|
inline |
Definition at line 3431 of file CpModel.pb.cs.
◆ Equals() [2/2]
|
inline |
Definition at line 3426 of file CpModel.pb.cs.
◆ GetHashCode()
|
inline |
Definition at line 3448 of file CpModel.pb.cs.
◆ MergeFrom() [1/2]
|
inline |
Definition at line 3501 of file CpModel.pb.cs.
◆ MergeFrom() [2/2]
|
inline |
Definition at line 3517 of file CpModel.pb.cs.
◆ ToString()
|
inline |
Definition at line 3463 of file CpModel.pb.cs.
◆ WriteTo()
|
inline |
Definition at line 3468 of file CpModel.pb.cs.
Member Data Documentation
◆ FinalStatesFieldNumber
|
static |
Field number for the "final_states" field.
Definition at line 3367 of file CpModel.pb.cs.
◆ StartingStateFieldNumber
|
static |
Field number for the "starting_state" field.
Definition at line 3351 of file CpModel.pb.cs.
◆ TransitionHeadFieldNumber
|
static |
Field number for the "transition_head" field.
Definition at line 3392 of file CpModel.pb.cs.
◆ TransitionLabelFieldNumber
|
static |
Field number for the "transition_label" field.
Definition at line 3402 of file CpModel.pb.cs.
◆ TransitionTailFieldNumber
|
static |
Field number for the "transition_tail" field.
Definition at line 3377 of file CpModel.pb.cs.
◆ VarsFieldNumber
|
static |
Field number for the "vars" field.
Definition at line 3412 of file CpModel.pb.cs.
Property Documentation
◆ Descriptor
|
staticget |
Definition at line 3318 of file CpModel.pb.cs.
◆ FinalStates
|
get |
Definition at line 3372 of file CpModel.pb.cs.
◆ Parser
|
staticget |
Definition at line 3315 of file CpModel.pb.cs.
◆ 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 3359 of file CpModel.pb.cs.
◆ TransitionHead
|
get |
Definition at line 3397 of file CpModel.pb.cs.
◆ TransitionLabel
|
get |
Definition at line 3407 of file CpModel.pb.cs.
◆ 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 3387 of file CpModel.pb.cs.
◆ 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 3421 of file CpModel.pb.cs.
The documentation for this class was generated from the following file: