CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
assert_criteriont Class Reference

#include <full_slicer_class.h>

+ Inheritance diagram for assert_criteriont:
[フレーム]
[legend]
+ Collaboration diagram for assert_criteriont:
[フレーム]
[legend]

Public Member Functions

virtual bool  operator() (const irep_idt &, goto_programt::const_targett target) const
 
- Public Member Functions inherited from slicing_criteriont
virtual  ~slicing_criteriont ()
 

Detailed Description

Definition at line 111 of file full_slicer_class.h.

Member Function Documentation

◆  operator()()

virtual bool assert_criteriont::operator() ( const irep_idt &  ,
goto_programt::const_targett  target 
) const
inlinevirtual

Implements slicing_criteriont.

Definition at line 115 of file full_slicer_class.h.

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

AltStyle によって変換されたページ (->オリジナル) /