Package h
Class ST_subtree_t
- java.lang.Object
-
- smetana.core.UnsupportedStarStruct
-
- h.ST_subtree_t
-
- All Implemented Interfaces:
__ptr__
,__struct__
public final class ST_subtree_t extends UnsupportedStarStruct
-
-
Field Summary
Fields Modifier and Type Field Description int
heap_index
ST_subtree_t
par
ST_Agnode_s
rep
int
size
-
Fields inherited from class smetana.core.UnsupportedStarStruct
CPT, SPY_ME, UID
-
-
Constructor Summary
Constructors Constructor Description ST_subtree_t()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
isSameThan(__ptr__ other)
-
Methods inherited from class smetana.core.UnsupportedStarStruct
___, castTo, copy, getTheField, unsupported
-
-
-
-
Field Detail
-
rep
public ST_Agnode_s rep
-
size
public int size
-
heap_index
public int heap_index
-
par
public ST_subtree_t par
-
-
Method Detail
-
isSameThan
public boolean isSameThan(__ptr__ other)
- Specified by:
isSameThan
in interface__ptr__
- Overrides:
isSameThan
in classUnsupportedStarStruct
-
-