CpModelProtoWrapper

Detailed Description

Definition at line 76 of file sat_cnf_reader.h.

Public Member Functions
	CpModelProtoWrapper (CpModelProto *p)
void	SetNumVariables (int num)
void	SetOriginalNumVariables (int num)
int	LiteralToRef (int signed_value)
void	AddConstraint (absl::Span< const int > clause)
void	AddObjectiveTerm (int literal, int64_t value)
void	SetObjectiveOffset (int64_t offset)

Public Attributes
CpModelProto *	problem

Constructor & Destructor Documentation

CpModelProtoWrapper()

CpModelProtoWrapper ( CpModelProto *  p )

inlineexplicit

Definition at line 77 of file sat_cnf_reader.h.

Member Function Documentation

AddConstraint()

void AddConstraint ( absl::Span< const int >  clause )

inline

Definition at line 97 of file sat_cnf_reader.h.

AddObjectiveTerm()

void AddObjectiveTerm ( int  literal, int64_t  value  )

inline

Definition at line 105 of file sat_cnf_reader.h.

LiteralToRef()

int LiteralToRef ( int  signed_value )

inline

Definition at line 93 of file sat_cnf_reader.h.

SetNumVariables()

void SetNumVariables ( int  num )

inline

Definition at line 79 of file sat_cnf_reader.h.

SetObjectiveOffset()

void SetObjectiveOffset ( int64_t  offset )

inline

Definition at line 111 of file sat_cnf_reader.h.

SetOriginalNumVariables()

void SetOriginalNumVariables ( int  num )

inline

Definition at line 91 of file sat_cnf_reader.h.

Member Data Documentation

problem

CpModelProto* problem

Definition at line 115 of file sat_cnf_reader.h.

---

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

• sat_cnf_reader.h