cover_goalst::observert Class Reference

#include <cover_goals.h>

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

Detailed Description

Definition at line 83 of file cover_goals.h.

Member Function Documentation

goal_covered()

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

inlinevirtual

Definition at line 86 of file cover_goals.h.

satisfying_assignment()

virtual void cover_goalst::observert::satisfying_assignment ( )

inlinevirtual

Definition at line 87 of file cover_goals.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/prop/cover_goals.h