Predator  [unstable] git snapshot
Public Member Functions | Data Fields
Shape Struct Reference

inductive definition of a container shape More...

#include <shape.hh>

Collaboration diagram for Shape:
Collaboration graph
[legend]

Public Member Functions

 Shape ()
 just to track uses of uninitialized values
 Shape (TObjId entry_, const ShapeProps &props_, unsigned length_)

Data Fields

TObjId entry
ShapeProps props
unsigned length
 count of objects (both regions or abstract)

Detailed Description

inductive definition of a container shape

Definition at line 72 of file shape.hh.

Constructor & Destructor Documentation

Shape ( )
inline

just to track uses of uninitialized values

Definition at line 78 of file shape.hh.

Shape ( TObjId  entry_,
const ShapeProps props_,
unsigned  length_ 
)
inline

Definition at line 84 of file shape.hh.

Field Documentation

TObjId entry

Definition at line 73 of file shape.hh.

Referenced by operator==().

unsigned length

count of objects (both regions or abstract)

Definition at line 75 of file shape.hh.

Referenced by operator<(), and operator==().

ShapeProps props

Definition at line 74 of file shape.hh.

Referenced by operator==().


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