cprover
cover_goalst::observert Class Reference

#include <cover_goals.h>

Inheritance diagram for cover_goalst::observert:
[legend]

Public Member Functions

virtual void goal_covered (const goalt &)
 
virtual void satisfying_assignment ()
 

Detailed Description

Definition at line 77 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 80 of file cover_goals.h.

§ satisfying_assignment()

virtual void cover_goalst::observert::satisfying_assignment ( )
inlinevirtual

Reimplemented in bmc_covert.

Definition at line 81 of file cover_goals.h.


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