OperationsResearch.Sat.LratExportedClause Class Reference

A clause to export, so that it can be imported from any worker. This is not needed for unary and binary clauses, which are always exported. More...

Detailed Description

A clause to export, so that it can be imported from any worker. This is not needed for unary and binary clauses, which are always exported.

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

Inheritance diagram for OperationsResearch.Sat.LratExportedClause:

Public Member Functions
	LratExportedClause ()
	LratExportedClause (LratExportedClause other)
LratExportedClause	Clone ()
void	ClearClauseId ()
	Clears the value of the "clause_id" field.
override bool	Equals (object other)
bool	Equals (LratExportedClause other)
override int	GetHashCode ()
override string	ToString ()
void	WriteTo (pb::CodedOutputStream output)
int	CalculateSize ()
void	MergeFrom (LratExportedClause 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< LratExportedClause >	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

LratExportedClause() [1/2]

OperationsResearch.Sat.LratExportedClause.LratExportedClause ( )

inline

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

LratExportedClause() [2/2]

OperationsResearch.Sat.LratExportedClause.LratExportedClause ( LratExportedClause other )

inline

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

Member Function Documentation

CalculateSize()

int OperationsResearch.Sat.LratExportedClause.CalculateSize ( )

inline

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

ClearClauseId()

void OperationsResearch.Sat.LratExportedClause.ClearClauseId ( )

inline

Clears the value of the "clause_id" field.

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

Clone()

LratExportedClause OperationsResearch.Sat.LratExportedClause.Clone ( )

inline

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

Equals() [1/2]

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

inline

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

Equals() [2/2]

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

inline

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

GetHashCode()

override int OperationsResearch.Sat.LratExportedClause.GetHashCode ( )

inline

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

MergeFrom() [1/2]

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

inline

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

MergeFrom() [2/2]

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

inline

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

ToString()

override string OperationsResearch.Sat.LratExportedClause.ToString ( )

inline

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

WriteTo()

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

inline

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

Member Data Documentation

ClauseIdFieldNumber

const int OperationsResearch.Sat.LratExportedClause.ClauseIdFieldNumber = 1

static

Field number for the "clause_id" field.

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

LiteralsFieldNumber

const int OperationsResearch.Sat.LratExportedClause.LiteralsFieldNumber = 2

static

Field number for the "literals" field.

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

Property Documentation

ClauseId

long OperationsResearch.Sat.LratExportedClause.ClauseId

getset

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

Descriptor

pbr.MessageDescriptor OperationsResearch.Sat.LratExportedClause.Descriptor

staticget

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

HasClauseId

bool OperationsResearch.Sat.LratExportedClause.HasClauseId

get

Gets whether the "clause_id" field is set.

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

Literals

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

get

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

Parser

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

staticget

Definition at line 947 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