korat.finitization.impl
Class ObjSet.CacheElement

java.lang.Object
  korat.finitization.impl.ObjSet.CacheElement

Enclosing class:

ObjSet

static class ObjSet.CacheElement
extends Object

Field Summary

(package private) int	indexOfFirstObjectInNextClassDomain
(package private) Object	obj
(package private) int	objIndexWithinObjSet
(package private) ClassDomain	oset

Constructor Summary

ObjSet.CacheElement(Object obj, ClassDomain cd, int objIndexWithinObjSet, int indexOfFirstObjectInNextClassDomain)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

obj

Object obj

oset

ClassDomain oset

objIndexWithinObjSet

int objIndexWithinObjSet

indexOfFirstObjectInNextClassDomain

int indexOfFirstObjectInNextClassDomain

Constructor Detail

ObjSet.CacheElement

ObjSet.CacheElement(Object obj,
                    ClassDomain cd,
                    int objIndexWithinObjSet,
                    int indexOfFirstObjectInNextClassDomain)