VariableWithSameReasonIdentifier

Detailed Description

Definition at line 687 of file pb_constraint.h.

Public Member Functions
	VariableWithSameReasonIdentifier (const Trail &trail)
void	Resize (int num_variables)
void	Clear ()
BooleanVariable	FirstVariableWithSameReason (BooleanVariable var)

Constructor & Destructor Documentation

VariableWithSameReasonIdentifier()

VariableWithSameReasonIdentifier ( const Trail &  trail )

inlineexplicit

Definition at line 689 of file pb_constraint.h.

Member Function Documentation

Clear()

void Clear ( )

inline

Definition at line 698 of file pb_constraint.h.

FirstVariableWithSameReason()

BooleanVariable FirstVariableWithSameReason ( BooleanVariable  var )

inline

Definition at line 703 of file pb_constraint.h.

Resize()

void Resize ( int  num_variables )

inline

Definition at line 692 of file pb_constraint.h.

---

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

• pb_constraint.h