An LRAT inferred clause. More...

Detailed Description

An LRAT inferred clause.

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

Inheritance diagram for OperationsResearch.Sat.LratInferredClause:

Classes
class	Types
	Container for nested types declared in the LratInferredClause message type. More...

Public Member Functions
	LratInferredClause ()
	LratInferredClause (LratInferredClause other)
LratInferredClause	Clone ()
void	ClearClauseId ()
	Clears the value of the "clause_id" field.
void	ClearExported ()
	Clears the value of the "exported" field.
override bool	Equals (object other)
bool	Equals (LratInferredClause other)
override int	GetHashCode ()
override string	ToString ()
void	WriteTo (pb::CodedOutputStream output)
int	CalculateSize ()
void	MergeFrom (LratInferredClause 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.
const int	UnitIdsFieldNumber = 3
	Field number for the "unit_ids" field.
const int	RatInfosFieldNumber = 4
	Field number for the "rat_infos" field.
const int	ExportedFieldNumber = 5
	Field number for the "exported" field.

Properties
static pb::MessageParser< LratInferredClause >	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]`
	Literals are represented with LiteralIndex values.
pbc::RepeatedField< long >	UnitIds `[get]`
	Clauses which become unit and possibly empty if all the literals are assumed to be false (verification stops at the first empty clause). This list must be in unit propagation order. See LratChecker for more details.
pbc::RepeatedField< global::OperationsResearch.Sat.LratInferredClause.Types.RatInfo >	RatInfos `[get]`
bool	Exported `[get, set]`
	Whether the clause must be exported, so that other workers can import it (a clause cannot be imported if it is not previously exported). This is not needed for unary and binary clauses, which are always exported.
bool	HasExported `[get]`
	Gets whether the "exported" field is set.

Constructor & Destructor Documentation

◆ LratInferredClause() [1/2]

OperationsResearch.Sat.LratInferredClause.LratInferredClause ( )

inline

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

◆ LratInferredClause() [2/2]

OperationsResearch.Sat.LratInferredClause.LratInferredClause ( LratInferredClause other )

inline

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

Member Function Documentation

◆ CalculateSize()

int OperationsResearch.Sat.LratInferredClause.CalculateSize ( )

inline

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

◆ ClearClauseId()

void OperationsResearch.Sat.LratInferredClause.ClearClauseId ( )

inline

Clears the value of the "clause_id" field.

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

◆ ClearExported()

void OperationsResearch.Sat.LratInferredClause.ClearExported ( )

inline

Clears the value of the "exported" field.

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

◆ Clone()

LratInferredClause OperationsResearch.Sat.LratInferredClause.Clone ( )

inline

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

◆ Equals() [1/2]

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

inline

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

◆ Equals() [2/2]

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

inline

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

◆ GetHashCode()

override int OperationsResearch.Sat.LratInferredClause.GetHashCode ( )

inline

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

◆ MergeFrom() [1/2]

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

inline

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

◆ MergeFrom() [2/2]

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

inline

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

◆ ToString()

override string OperationsResearch.Sat.LratInferredClause.ToString ( )

inline

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

◆ WriteTo()

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

inline

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

Member Data Documentation

◆ ClauseIdFieldNumber

const int OperationsResearch.Sat.LratInferredClause.ClauseIdFieldNumber = 1

static

Field number for the "clause_id" field.

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

◆ ExportedFieldNumber

const int OperationsResearch.Sat.LratInferredClause.ExportedFieldNumber = 5

static

Field number for the "exported" field.

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

◆ LiteralsFieldNumber

const int OperationsResearch.Sat.LratInferredClause.LiteralsFieldNumber = 2

static

Field number for the "literals" field.

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

◆ RatInfosFieldNumber

const int OperationsResearch.Sat.LratInferredClause.RatInfosFieldNumber = 4

static

Field number for the "rat_infos" field.

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

◆ UnitIdsFieldNumber

const int OperationsResearch.Sat.LratInferredClause.UnitIdsFieldNumber = 3

static

Field number for the "unit_ids" field.

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

Property Documentation

◆ ClauseId

long OperationsResearch.Sat.LratInferredClause.ClauseId

getset

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

◆ Descriptor

pbr.MessageDescriptor OperationsResearch.Sat.LratInferredClause.Descriptor

staticget

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

◆ Exported

bool OperationsResearch.Sat.LratInferredClause.Exported

getset

Whether the clause must be exported, so that other workers can import it (a clause cannot be imported if it is not previously exported). This is not needed for unary and binary clauses, which are always exported.

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

◆ HasClauseId

bool OperationsResearch.Sat.LratInferredClause.HasClauseId

get

Gets whether the "clause_id" field is set.

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

◆ HasExported

bool OperationsResearch.Sat.LratInferredClause.HasExported

get

Gets whether the "exported" field is set.

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

◆ Literals

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

get

Literals are represented with LiteralIndex values.

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

◆ Parser

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

staticget

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

◆ RatInfos

pbc.RepeatedField<global.OperationsResearch.Sat.LratInferredClause.Types.RatInfo> OperationsResearch.Sat.LratInferredClause.RatInfos

get

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

◆ UnitIds

pbc.RepeatedField<long> OperationsResearch.Sat.LratInferredClause.UnitIds

get

Clauses which become unit and possibly empty if all the literals are assumed to be false (verification stops at the first empty clause). This list must be in unit propagation order. See LratChecker for more details.

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

Detailed Description

Classes

Public Member Functions

Static Public Attributes

Properties

Constructor & Destructor Documentation

◆ LratInferredClause() [1/2]

◆ LratInferredClause() [2/2]

Member Function Documentation

◆ CalculateSize()

◆ ClearClauseId()

◆ ClearExported()

◆ Clone()

◆ Equals() [1/2]

◆ Equals() [2/2]

◆ GetHashCode()

◆ MergeFrom() [1/2]

◆ MergeFrom() [2/2]

◆ ToString()

◆ WriteTo()

Member Data Documentation

◆ ClauseIdFieldNumber

◆ ExportedFieldNumber

◆ LiteralsFieldNumber

◆ RatInfosFieldNumber

◆ UnitIdsFieldNumber

Property Documentation

◆ ClauseId

◆ Descriptor

◆ Exported

◆ HasClauseId

◆ HasExported

◆ Literals

◆ Parser

◆ RatInfos

◆ UnitIds