CBMC
goto_symex_property_decider.h File Reference

Property Decider for Goto-Symex. More...

+ Include dependency graph for goto_symex_property_decider.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  goto_symex_property_decidert
 Provides management of goal variables that encode properties. More...
 
struct  goto_symex_property_decidert::goalt
 

Detailed Description

Property Decider for Goto-Symex.

Definition in file goto_symex_property_decider.h.