Google.OrTools.Sat.BooleanAssignment Class Reference

Stores an assignment of variables as a list of true literals using their signed representation. There will be at most one literal per variable. The literals will be sorted by increasing variable index. The assignment may be partial in the sense that some variables may not appear and thus not be assigned. More...

Inheritance diagram for Google.OrTools.Sat.BooleanAssignment:

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

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

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

Detailed Description

Stores an assignment of variables as a list of true literals using their signed representation. There will be at most one literal per variable. The literals will be sorted by increasing variable index. The assignment may be partial in the sense that some variables may not appear and thus not be assigned.

Definition at line 794 of file BooleanProblem.pb.cs.

Constructor & Destructor Documentation

BooleanAssignment() [1/2]

Google.OrTools.Sat.BooleanAssignment.BooleanAssignment ( )

inline

Definition at line 819 of file BooleanProblem.pb.cs.

BooleanAssignment() [2/2]

Google.OrTools.Sat.BooleanAssignment.BooleanAssignment ( BooleanAssignment other )

inline

Definition at line 827 of file BooleanProblem.pb.cs.

Member Function Documentation

CalculateSize()

int Google.OrTools.Sat.BooleanAssignment.CalculateSize ( )

inline

Definition at line 911 of file BooleanProblem.pb.cs.

Clone()

BooleanAssignment Google.OrTools.Sat.BooleanAssignment.Clone ( )

inline

Definition at line 834 of file BooleanProblem.pb.cs.

Equals() [1/2]

bool Google.OrTools.Sat.BooleanAssignment.Equals ( BooleanAssignment other )

inline

Definition at line 857 of file BooleanProblem.pb.cs.

Equals() [2/2]

override bool Google.OrTools.Sat.BooleanAssignment.Equals ( object other )

inline

Definition at line 851 of file BooleanProblem.pb.cs.

GetHashCode()

override int Google.OrTools.Sat.BooleanAssignment.GetHashCode ( )

inline

Definition at line 870 of file BooleanProblem.pb.cs.

MergeFrom() [1/2]

void Google.OrTools.Sat.BooleanAssignment.MergeFrom ( BooleanAssignment other )

inline

Definition at line 922 of file BooleanProblem.pb.cs.

MergeFrom() [2/2]

void Google.OrTools.Sat.BooleanAssignment.MergeFrom ( pb::CodedInputStream input )

inline

Definition at line 932 of file BooleanProblem.pb.cs.

ToString()

override string Google.OrTools.Sat.BooleanAssignment.ToString ( )

inline

Definition at line 881 of file BooleanProblem.pb.cs.

WriteTo()

void Google.OrTools.Sat.BooleanAssignment.WriteTo ( pb::CodedOutputStream output )

inline

Definition at line 887 of file BooleanProblem.pb.cs.

Member Data Documentation

LiteralsFieldNumber

const int Google.OrTools.Sat.BooleanAssignment.LiteralsFieldNumber = 1

static

Field number for the "literals" field.

Definition at line 839 of file BooleanProblem.pb.cs.

Property Documentation

Descriptor

pbr.MessageDescriptor Google.OrTools.Sat.BooleanAssignment.Descriptor

staticget

Definition at line 807 of file BooleanProblem.pb.cs.

Literals

pbc.RepeatedField<int> Google.OrTools.Sat.BooleanAssignment.Literals

get

Definition at line 845 of file BooleanProblem.pb.cs.

Parser

pb.MessageParser<BooleanAssignment> Google.OrTools.Sat.BooleanAssignment.Parser

staticget

Definition at line 803 of file BooleanProblem.pb.cs.

---

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

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