prop_minimizet::objectivet Struct Reference

#include <minimize.h>

Collaboration diagram for prop_minimizet::objectivet:

Public Member Functions
	objectivet (const literalt _condition)

Public Attributes
literalt	condition
bool	fixed

Detailed Description

Definition at line 63 of file minimize.h.

Constructor & Destructor Documentation

objectivet()

prop_minimizet::objectivet::objectivet ( const literalt  _condition )

inlineexplicit

Definition at line 68 of file minimize.h.

Member Data Documentation

condition

literalt prop_minimizet::objectivet::condition

Definition at line 65 of file minimize.h.

fixed

bool prop_minimizet::objectivet::fixed

Definition at line 66 of file minimize.h.

---

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

• solvers/prop/minimize.h