OperationsResearch.Sat.LratImportedClause Class Reference

A clause imported from the input problem, or from another worker. More...

Detailed Description

A clause imported from the input problem, or from another worker.

Definition at line 63 of file Lrat.pb.cs.

Inheritance diagram for OperationsResearch.Sat.LratImportedClause:

Public Member Functions
	LratImportedClause ()
	LratImportedClause (LratImportedClause other)
LratImportedClause	Clone ()
void	ClearClauseId ()
	Clears the value of the "clause_id" field.
override bool	Equals (object other)
bool	Equals (LratImportedClause other)
override int	GetHashCode ()
override string	ToString ()
void	WriteTo (pb::CodedOutputStream output)
int	CalculateSize ()
void	MergeFrom (LratImportedClause other)
void	MergeFrom (pb::CodedInputStream input)

Static Public Attributes
const int	ClauseIdFieldNumber = 1
	Field number for the "clause_id" field.
const int	LiteralsFieldNumber = 2
	Field number for the "literals" field.

Properties
static pb::MessageParser< LratImportedClause >	Parser [get]
static pbr::MessageDescriptor	Descriptor [get]
long	ClauseId [get, set]
bool	HasClauseId [get]
	Gets whether the "clause_id" field is set.
pbc::RepeatedField< int >	Literals [get]

Constructor & Destructor Documentation

LratImportedClause() [1/2]

OperationsResearch.Sat.LratImportedClause.LratImportedClause ( )

inline

Definition at line 89 of file Lrat.pb.cs.

LratImportedClause() [2/2]

OperationsResearch.Sat.LratImportedClause.LratImportedClause ( LratImportedClause other )

inline

Definition at line 97 of file Lrat.pb.cs.

Member Function Documentation

CalculateSize()

int OperationsResearch.Sat.LratImportedClause.CalculateSize ( )

inline

Definition at line 220 of file Lrat.pb.cs.

ClearClauseId()

void OperationsResearch.Sat.LratImportedClause.ClearClauseId ( )

inline

Clears the value of the "clause_id" field.

Definition at line 133 of file Lrat.pb.cs.

Clone()

LratImportedClause OperationsResearch.Sat.LratImportedClause.Clone ( )

inline

Definition at line 106 of file Lrat.pb.cs.

Equals() [1/2]

bool OperationsResearch.Sat.LratImportedClause.Equals ( LratImportedClause other )

inline

Definition at line 156 of file Lrat.pb.cs.

Equals() [2/2]

override bool OperationsResearch.Sat.LratImportedClause.Equals ( object other )

inline

Definition at line 150 of file Lrat.pb.cs.

GetHashCode()

override int OperationsResearch.Sat.LratImportedClause.GetHashCode ( )

inline

Definition at line 170 of file Lrat.pb.cs.

MergeFrom() [1/2]

void OperationsResearch.Sat.LratImportedClause.MergeFrom ( LratImportedClause other )

inline

Definition at line 234 of file Lrat.pb.cs.

MergeFrom() [2/2]

void OperationsResearch.Sat.LratImportedClause.MergeFrom ( pb.CodedInputStream input )

inline

Definition at line 247 of file Lrat.pb.cs.

ToString()

override string OperationsResearch.Sat.LratImportedClause.ToString ( )

inline

Definition at line 182 of file Lrat.pb.cs.

WriteTo()

void OperationsResearch.Sat.LratImportedClause.WriteTo ( pb.CodedOutputStream output )

inline

Definition at line 188 of file Lrat.pb.cs.

Member Data Documentation

ClauseIdFieldNumber

const int OperationsResearch.Sat.LratImportedClause.ClauseIdFieldNumber = 1

static

Field number for the "clause_id" field.

Definition at line 111 of file Lrat.pb.cs.

LiteralsFieldNumber

const int OperationsResearch.Sat.LratImportedClause.LiteralsFieldNumber = 2

static

Field number for the "literals" field.

Definition at line 138 of file Lrat.pb.cs.

Property Documentation

ClauseId

long OperationsResearch.Sat.LratImportedClause.ClauseId

getset

Definition at line 117 of file Lrat.pb.cs.

Descriptor

pbr.MessageDescriptor OperationsResearch.Sat.LratImportedClause.Descriptor

staticget

Definition at line 77 of file Lrat.pb.cs.

HasClauseId

bool OperationsResearch.Sat.LratImportedClause.HasClauseId

get

Gets whether the "clause_id" field is set.

Definition at line 127 of file Lrat.pb.cs.

Literals

pbc.RepeatedField<int> OperationsResearch.Sat.LratImportedClause.Literals

get

Definition at line 144 of file Lrat.pb.cs.

Parser

pb.MessageParser<LratImportedClause> OperationsResearch.Sat.LratImportedClause.Parser

staticget

Definition at line 73 of file Lrat.pb.cs.

---

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

• build/dotnet/Google.OrTools/ortools/sat/Lrat.pb.cs