h

Class ST_PartitionVars

java.lang.Object

smetana.core.UnsupportedStarStruct

h.ST_PartitionVars

All Implemented Interfaces:

__ptr__, __struct__

public final class ST_PartitionVars
extends UnsupportedStarStruct

Field Summary

Fields

Modifier and Type	Field and Description
int[]	area
int[]	count
ST_Rect_t[]	cover
int[]	partition
int[]	taken

Fields inherited from class smetana.core.UnsupportedStarStruct

CPT, SPY_ME, UID

Constructor Summary

Constructors

Constructor and Description
ST_PartitionVars()

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 Detail

partition

public final int[] partition

taken

public final int[] taken

count

public final int[] count

cover

public final ST_Rect_t[] cover

area

public final int[] area

Constructor Detail

ST_PartitionVars

public ST_PartitionVars()