CircuitConstraintProto

Detailed Description

The circuit constraint is defined on a graph where the arc presence are controlled by literals.

Each arc is given by an index in the tails/heads/literals lists that must have the same size.

For now, we ignore node indices with no incident arc. All the other nodes must have exactly one incoming and one outgoing selected arc (i.e. literal at true). All the selected arcs that are not self-loops must form a single circuit. Note that multi-arcs are allowed, but only one of them will be true at the same time. Multi-self loop are disallowed though.

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

Public Member Functions
	CircuitConstraintProto ()
	CircuitConstraintProto (CircuitConstraintProto other)
CircuitConstraintProto	Clone ()
override bool	Equals (object other)
bool	Equals (CircuitConstraintProto other)
override int	GetHashCode ()
override string	ToString ()
void	WriteTo (pb::CodedOutputStream output)
int	CalculateSize ()
void	MergeFrom (CircuitConstraintProto other)
void	MergeFrom (pb::CodedInputStream input)

Static Public Attributes
const int	TailsFieldNumber = 3
	Field number for the "tails" field. More...
const int	HeadsFieldNumber = 4
	Field number for the "heads" field. More...
const int	LiteralsFieldNumber = 5
	Field number for the "literals" field. More...

Properties
static pb::MessageParser< CircuitConstraintProto >	Parser [get]
static pbr::MessageDescriptor	Descriptor [get]
pbc::RepeatedField< int >	Tails [get]
pbc::RepeatedField< int >	Heads [get]
pbc::RepeatedField< int >	Literals [get]

Constructor & Destructor Documentation

CircuitConstraintProto() [1/2]

CircuitConstraintProto ( )

inline

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

CircuitConstraintProto() [2/2]

CircuitConstraintProto ( CircuitConstraintProto  other )

inline

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

Member Function Documentation

CalculateSize()

int CalculateSize ( )

inline

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

Clone()

CircuitConstraintProto Clone ( )

inline

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

Equals() [1/2]

bool Equals ( CircuitConstraintProto  other )

inline

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

Equals() [2/2]

override bool Equals ( object  other )

inline

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

GetHashCode()

override int GetHashCode ( )

inline

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

MergeFrom() [1/2]

void MergeFrom ( CircuitConstraintProto  other )

inline

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

MergeFrom() [2/2]

void MergeFrom ( pb::CodedInputStream  input )

inline

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

ToString()

override string ToString ( )

inline

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

WriteTo()

void WriteTo ( pb::CodedOutputStream  output )

inline

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

Member Data Documentation

HeadsFieldNumber

const int HeadsFieldNumber = 4

static

Field number for the "heads" field.

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

LiteralsFieldNumber

const int LiteralsFieldNumber = 5

static

Field number for the "literals" field.

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

TailsFieldNumber

const int TailsFieldNumber = 3

static

Field number for the "tails" field.

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

Property Documentation

Descriptor

pbr.MessageDescriptor Descriptor

staticget

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

Heads

pbc.RepeatedField<int> Heads

get

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

Literals

pbc.RepeatedField<int> Literals

get

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

Parser

pb.MessageParser<CircuitConstraintProto> Parser

staticget

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

Tails

pbc.RepeatedField<int> Tails

get

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

---

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

• CpModel.pb.cs