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

Modifier and Type	Method	Description
boolean	isSameThan(__ptr__ other)

Methods inherited from class smetana.core.UnsupportedStarStruct

___, castTo, copy, getTheField, unsupported

Methods inherited from class java.lang.Object

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

Field Details

rep

public ST_Agnode_s rep

size

public int size

heap_index

public int heap_index

par

public ST_subtree_t par

Constructor Details

ST_subtree_t

public ST_subtree_t()

Method Details

isSameThan

public boolean isSameThan(__ptr__ other)

Specified by:

isSameThan in interface __ptr__

Overrides:

isSameThan in class UnsupportedStarStruct