cprover
fault_localizationt::lpointt Struct Reference

#include <fault_localization.h>

Public Attributes

goto_programt::const_targett target
 
unsigned score
 

Detailed Description

Definition at line 56 of file fault_localization.h.

Member Data Documentation

◆ score

unsigned fault_localizationt::lpointt::score

◆ target

goto_programt::const_targett fault_localizationt::lpointt::target

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