Package h

Class ST_STheap_t

java.lang.Object

smetana.core.UnsupportedStarStruct

h.ST_STheap_t

All Implemented Interfaces:

__ptr__, __struct__

public final class ST_STheap_t
extends UnsupportedStarStruct

Field Summary

Fields

Modifier and Type	Field	Description
CArrayOfStar<ST_subtree_t>	elt
int	size

Fields inherited from class smetana.core.UnsupportedStarStruct

CPT, SPY_ME, UID

Constructor Summary

Constructors

Constructor	Description
ST_STheap_t()

Method Summary

Methods inherited from class smetana.core.UnsupportedStarStruct

___, castTo, copy, getTheField, isSameThan, unsupported

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

elt

public CArrayOfStar<ST_subtree_t> elt

size

public int size

Constructor Details

ST_STheap_t

public ST_STheap_t()