CBMC
Public Member Functions | List of all members
symex_complexity_limit_exceeded_actiont Class Reference

Default heuristic transformation that cancels branches when complexity has been breached. More...

#include <symex_complexity_limit_exceeded_action.h>

Public Member Functions

virtual void transform (const complexity_violationt heuristic_result, goto_symex_statet &current_state)
 
virtual ~symex_complexity_limit_exceeded_actiont ()
 

Detailed Description

Default heuristic transformation that cancels branches when complexity has been breached.

Definition at line 11 of file symex_complexity_limit_exceeded_action.h.

Constructor & Destructor Documentation

◆ ~symex_complexity_limit_exceeded_actiont()

virtual symex_complexity_limit_exceeded_actiont::~symex_complexity_limit_exceeded_actiont ( )
inlinevirtual

Definition at line 20 of file symex_complexity_limit_exceeded_action.h.

Member Function Documentation

◆ transform()

virtual void symex_complexity_limit_exceeded_actiont::transform ( const complexity_violationt  heuristic_result,
goto_symex_statet &  current_state 
)
inlinevirtual

Definition at line 14 of file symex_complexity_limit_exceeded_action.h.

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