cprover
|
#include <minimize.h>
Public Member Functions | |
objectivet (const literalt _condition) | |
Public Attributes | |
literalt | condition |
bool | fixed |
Definition at line 60 of file minimize.h.
|
inlineexplicit |
Definition at line 65 of file minimize.h.
literalt prop_minimizet::objectivet::condition |
Definition at line 62 of file minimize.h.
bool prop_minimizet::objectivet::fixed |
Definition at line 63 of file minimize.h.