LiteralWithCoeff

Detailed Description

Definition at line 49 of file pb_constraint.h.

Public Member Functions
	LiteralWithCoeff ()
	LiteralWithCoeff (Literal l, Coefficient c)
	LiteralWithCoeff (Literal l, int64 c)
bool	operator== (const LiteralWithCoeff &other) const

Public Attributes
Literal	literal
Coefficient	coefficient

Constructor & Destructor Documentation

LiteralWithCoeff() [1/3]

LiteralWithCoeff ( )

inline

Definition at line 50 of file pb_constraint.h.

LiteralWithCoeff() [2/3]

LiteralWithCoeff ( Literal  l, Coefficient  c  )

inline

Definition at line 51 of file pb_constraint.h.

LiteralWithCoeff() [3/3]

LiteralWithCoeff ( Literal  l, int64  c  )

inline

Definition at line 52 of file pb_constraint.h.

Member Function Documentation

operator==()

bool operator== ( const LiteralWithCoeff &  other ) const

inline

Definition at line 55 of file pb_constraint.h.

Member Data Documentation

coefficient

Coefficient coefficient

Definition at line 54 of file pb_constraint.h.

literal

Literal literal

Definition at line 53 of file pb_constraint.h.

---

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

• pb_constraint.h