LinearBooleanProblemWrapper

Detailed Description

Definition at line 44 of file sat_cnf_reader.h.

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

Public Attributes
LinearBooleanProblem *	problem

Constructor & Destructor Documentation

LinearBooleanProblemWrapper()

LinearBooleanProblemWrapper ( LinearBooleanProblem *  p )

inlineexplicit

Definition at line 45 of file sat_cnf_reader.h.

Member Function Documentation

AddConstraint()

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

inline

Definition at line 52 of file sat_cnf_reader.h.

AddObjectiveTerm()

void AddObjectiveTerm ( int  literal, int64_t  value  )

inline

Definition at line 63 of file sat_cnf_reader.h.

SetNumVariables()

void SetNumVariables ( int  num )

inline

Definition at line 47 of file sat_cnf_reader.h.

SetObjectiveOffset()

void SetObjectiveOffset ( int64_t  offset )

inline

Definition at line 69 of file sat_cnf_reader.h.

SetOriginalNumVariables()

void SetOriginalNumVariables ( int  num )

inline

Definition at line 48 of file sat_cnf_reader.h.

Member Data Documentation

problem

LinearBooleanProblem* problem

Definition at line 73 of file sat_cnf_reader.h.

---

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

• sat_cnf_reader.h