cprover
path_searcht::loc_datat Struct Reference

#include <path_search.h>

Public Member Functions

 loc_datat ()
 

Public Attributes

bool visited
 

Detailed Description

Definition at line 116 of file path_search.h.

Constructor & Destructor Documentation

◆ loc_datat()

path_searcht::loc_datat::loc_datat ( )
inline

Definition at line 119 of file path_search.h.

Member Data Documentation

◆ visited

bool path_searcht::loc_datat::visited

Definition at line 118 of file path_search.h.


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