Clasp::ClaspFacade::Result Struct Reference

Result of a solving step. More...

#include <clasp_facade.h>

List of all members.

Public Types
enum	Base { UNKNOWN = 0, SAT = 1, UNSAT = 2 }
	Possible solving results. More...
enum	Ext { EXT_EXHAUST = 4, EXT_INTERRUPT = 8, EXT_ERROR = 16 }
Public Member Functions
bool	error () const
bool	exhausted () const
bool	interrupted () const
	operator Base () const
	operator double () const
bool	sat () const
bool	unknown () const
bool	unsat () const
Public Attributes
uint8	flags
uint8	signal

---

Detailed Description

Result of a solving step.

Definition at line 112 of file clasp_facade.h.

---

Member Enumeration Documentation

enum Clasp::ClaspFacade::Result::Base

Possible solving results.

Enumerator:

UNKNOWN	Satisfiability unknown - a given solve limit was hit.
SAT	Problem is satisfiable (a model was found).
UNSAT	Problem is unsatisfiable.

Definition at line 114 of file clasp_facade.h.

enum Clasp::ClaspFacade::Result::Ext

Enumerator:

EXT_EXHAUST	Search space is exhausted.
EXT_INTERRUPT	The run was interrupted from outside.
EXT_ERROR	The run was terminated because of an internal error.

Definition at line 119 of file clasp_facade.h.

---

Member Function Documentation

bool Clasp::ClaspFacade::Result::error

(

)

const [inline]

Definition at line 129 of file clasp_facade.h.

bool Clasp::ClaspFacade::Result::exhausted

(

)

const [inline]

Definition at line 127 of file clasp_facade.h.

bool Clasp::ClaspFacade::Result::interrupted

(

)

const [inline]

Definition at line 128 of file clasp_facade.h.

Clasp::ClaspFacade::Result::operator Base

(

)

const [inline]

Definition at line 130 of file clasp_facade.h.

Clasp::ClaspFacade::Result::operator double

(

)

const [inline]

Definition at line 131 of file clasp_facade.h.

bool Clasp::ClaspFacade::Result::sat

(

)

const [inline]

Definition at line 124 of file clasp_facade.h.

bool Clasp::ClaspFacade::Result::unknown

(

)

const [inline]

Definition at line 126 of file clasp_facade.h.

bool Clasp::ClaspFacade::Result::unsat

(

)

const [inline]

Definition at line 125 of file clasp_facade.h.

---

Member Data Documentation

uint8 Clasp::ClaspFacade::Result::flags

Definition at line 132 of file clasp_facade.h.

uint8 Clasp::ClaspFacade::Result::signal

Definition at line 133 of file clasp_facade.h.

---

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

• clasp_facade.h