cover_goalst::observert Class Reference

#include <cover_goals.h>

Inheritance diagram for cover_goalst::observert:

Public Member Functions
virtual void	goal_covered (const goalt &)
virtual void	satisfying_assignment ()

Detailed Description

Definition at line 79 of file cover_goals.h.

Member Function Documentation

goal_covered()

virtual void cover_goalst::observert::goal_covered ( const goalt &  )

inlinevirtual

Reimplemented in fault_localizationt, and bmc_all_propertiest.

Definition at line 82 of file cover_goals.h.

satisfying_assignment()

virtual void cover_goalst::observert::satisfying_assignment ( )

inlinevirtual

Reimplemented in bmc_covert.

Definition at line 83 of file cover_goals.h.

---

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

• solvers/prop/cover_goals.h