OperationsResearch.Sat.LratDeletedClauses Class Reference

A list of clauses to delete. More...

Detailed Description

A list of clauses to delete.

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

Inheritance diagram for OperationsResearch.Sat.LratDeletedClauses:

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

Static Public Attributes
const int	ClauseIdsFieldNumber = 1
	Field number for the "clause_ids" field.

Properties
static pb::MessageParser< LratDeletedClauses >	Parser [get]
static pbr::MessageDescriptor	Descriptor [get]
pbc::RepeatedField< long >	ClauseIds [get]
	IDs of the imported or inferred clauses to delete. A deleted clause can no longer be used to infer clauses.

Constructor & Destructor Documentation

LratDeletedClauses() [1/2]

OperationsResearch.Sat.LratDeletedClauses.LratDeletedClauses ( )

inline

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

LratDeletedClauses() [2/2]

OperationsResearch.Sat.LratDeletedClauses.LratDeletedClauses ( LratDeletedClauses other )

inline

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

Member Function Documentation

CalculateSize()

int OperationsResearch.Sat.LratDeletedClauses.CalculateSize ( )

inline

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

Clone()

LratDeletedClauses OperationsResearch.Sat.LratDeletedClauses.Clone ( )

inline

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

Equals() [1/2]

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

inline

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

Equals() [2/2]

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

inline

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

GetHashCode()

override int OperationsResearch.Sat.LratDeletedClauses.GetHashCode ( )

inline

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

MergeFrom() [1/2]

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

inline

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

MergeFrom() [2/2]

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

inline

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

ToString()

override string OperationsResearch.Sat.LratDeletedClauses.ToString ( )

inline

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

WriteTo()

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

inline

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

Member Data Documentation

ClauseIdsFieldNumber

const int OperationsResearch.Sat.LratDeletedClauses.ClauseIdsFieldNumber = 1

static

Field number for the "clause_ids" field.

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

Property Documentation

ClauseIds

pbc.RepeatedField<long> OperationsResearch.Sat.LratDeletedClauses.ClauseIds

get

IDs of the imported or inferred clauses to delete. A deleted clause can no longer be used to infer clauses.

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

Descriptor

pbr.MessageDescriptor OperationsResearch.Sat.LratDeletedClauses.Descriptor

staticget

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

Parser

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

staticget

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