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 810 of file BooleanProblem.pb.cs.

Constructor & Destructor Documentation

BooleanAssignment() [1/2]

Google.OrTools.Sat.BooleanAssignment.BooleanAssignment ( )

inline

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

BooleanAssignment() [2/2]

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

inline

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

Member Function Documentation

CalculateSize()

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

inline

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

Clone()

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

inline

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

Equals() [1/2]

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

inline

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

Equals() [2/2]

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

inline

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

GetHashCode()

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

inline

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

MergeFrom() [1/2]

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

inline

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

MergeFrom() [2/2]

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

inline

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

ToString()

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

inline

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

WriteTo()

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

inline

Definition at line 903 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 855 of file BooleanProblem.pb.cs.

Property Documentation

Descriptor

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

staticget

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

Literals

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

get

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

Parser

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

staticget

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