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
-
-
-
-
Field Detail
-
elt
public CArrayOfStar<ST_subtree_t> elt
-
size
public int size
-
-