CBMC
Public Member Functions | Public Attributes | List of all members
prop_minimizet::objectivet Struct Reference

#include <prop_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 56 of file prop_minimize.h.

Constructor & Destructor Documentation

◆ objectivet()

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

Definition at line 61 of file prop_minimize.h.

Member Data Documentation

◆ condition

literalt prop_minimizet::objectivet::condition

Definition at line 58 of file prop_minimize.h.

◆ fixed

bool prop_minimizet::objectivet::fixed

Definition at line 59 of file prop_minimize.h.

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