Public Member Functions | Public Attributes
Clasp::DefaultUnfoundedCheck::BodyData Struct Reference

List of all members.

Public Member Functions

 BodyData ()

Public Attributes

uint32 lower_or_ext
uint32 picked: 1
uint32 watches: 31

Detailed Description

Definition at line 93 of file unfounded_check.h.


Constructor & Destructor Documentation

Definition at line 94 of file unfounded_check.h.


Member Data Documentation

Definition at line 97 of file unfounded_check.h.

Definition at line 96 of file unfounded_check.h.

Definition at line 95 of file unfounded_check.h.


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


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40