cover_goalst::goalt Struct Reference

#include <cover_goals.h>

Collaboration diagram for cover_goalst::goalt:

Public Types
enum	statust { statust::UNKNOWN, statust::COVERED, statust::UNCOVERED, statust::ERROR }

Public Member Functions
	goalt ()

Public Attributes
literalt	condition
enum cover_goalst::goalt::statust	status

Detailed Description

Definition at line 38 of file cover_goals.h.

Member Enumeration Documentation

statust

enum cover_goalst::goalt::statust

strong

Enumerator
UNKNOWN
COVERED
UNCOVERED
ERROR

Definition at line 41 of file cover_goals.h.

Constructor & Destructor Documentation

goalt()

cover_goalst::goalt::goalt ( )

inline

Definition at line 43 of file cover_goals.h.

Member Data Documentation

condition

literalt cover_goalst::goalt::condition

Definition at line 40 of file cover_goals.h.

status

enum cover_goalst::goalt::statust cover_goalst::goalt::status

---

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

• solvers/prop/cover_goals.h