Package h

Class ST_aspect_t

java.lang.Object

smetana.core.UnsupportedStarStruct

h.ST_aspect_t

All Implemented Interfaces:

__ptr__, __struct__

public final class ST_aspect_t
extends UnsupportedStarStruct

Field Summary

Fields

Modifier and Type	Field	Description
int	badGraph
int	curIterations
int	nextIter
int	nPasses
int	prevIterations

Fields inherited from class smetana.core.UnsupportedStarStruct

CPT, SPY_ME, UID

Constructor Summary

Constructors

Constructor	Description
ST_aspect_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

prevIterations

public int prevIterations

curIterations

public int curIterations

nextIter

public int nextIter

nPasses

public int nPasses

badGraph

public int badGraph

Constructor Details

ST_aspect_t

public ST_aspect_t()