edu.mit.csail.sdg.squander.absstate.ObjTuple Class Reference
[Abstract State]

List of all members.

Public Member Functions
	ObjTuple (Object...tuple)
	ObjTuple (List< Object > tuple)
int	arity ()
Object[]	atoms ()
ObjTuple	projection (int startCol, int endCol)
Object	get (int index)
Object[]	tuple ()
Iterator< Object >	iterator ()
ObjTuple	product (ObjTuple t)
int	hashCode ()
boolean	equals (Object obj)
String	toString ()
Static Public Member Functions
static ObjTuple	product (ObjTuple tuple, Object atom)
static ObjTuple	product (ObjTuple t1, ObjTuple t2)
Static Private Member Functions
static boolean	arrayEquals (Object[] a1, Object[] a2)
static boolean	objLiteralsEquals (Object o1, Object o2)
Private Attributes
final int	arity
final Object[]	tuple

---

Detailed Description

A tuple of objects. An array of objects is used as a representation.

Author:

Aleksandar Milicevic

Definition at line 18 of file ObjTuple.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.absstate.ObjTuple.ObjTuple

(

Object...

tuple

)

Definition at line 23 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.arity(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple().

Referenced by edu.mit.csail.sdg.squander.absstate.ObjTuple.product(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.projection().

edu.mit.csail.sdg.squander.absstate.ObjTuple.ObjTuple

(

List< Object >

tuple

)

Definition at line 28 of file ObjTuple.java.

---

Member Function Documentation

int edu.mit.csail.sdg.squander.absstate.ObjTuple.arity

(

)

Definition at line 32 of file ObjTuple.java.

Referenced by edu.mit.csail.sdg.squander.absstate.ObjTuple.equals(), edu.mit.csail.sdg.squander.absstate.ObjTuple.hashCode(), edu.mit.csail.sdg.squander.absstate.ObjTuple.ObjTuple(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.product().

static boolean edu.mit.csail.sdg.squander.absstate.ObjTuple.arrayEquals	(	Object[]	a1,
		Object[]	a2
	)			[static, private]

Definition at line 98 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.objLiteralsEquals().

Referenced by edu.mit.csail.sdg.squander.absstate.ObjTuple.equals().

Object [] edu.mit.csail.sdg.squander.absstate.ObjTuple.atoms

(

)

Definition at line 33 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple().

Referenced by edu.mit.csail.sdg.squander.absstate.ObjTuple.product().

boolean edu.mit.csail.sdg.squander.absstate.ObjTuple.equals

(

Object

obj

)

Definition at line 66 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.arity(), edu.mit.csail.sdg.squander.absstate.ObjTuple.arrayEquals(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple().

Object edu.mit.csail.sdg.squander.absstate.ObjTuple.get

(

int

index

)

Definition at line 41 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple().

int edu.mit.csail.sdg.squander.absstate.ObjTuple.hashCode

(

)

Definition at line 57 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.arity(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple().

Iterator<Object> edu.mit.csail.sdg.squander.absstate.ObjTuple.iterator

(

)

Definition at line 48 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple().

static boolean edu.mit.csail.sdg.squander.absstate.ObjTuple.objLiteralsEquals	(	Object	o1,
		Object	o2
	)			[static, private]

Definition at line 112 of file ObjTuple.java.

Referenced by edu.mit.csail.sdg.squander.absstate.ObjTuple.arrayEquals().

static ObjTuple edu.mit.csail.sdg.squander.absstate.ObjTuple.product	(	ObjTuple	t1,
		ObjTuple	t2
	)			[static]

Definition at line 90 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.arity(), edu.mit.csail.sdg.squander.absstate.ObjTuple.atoms(), edu.mit.csail.sdg.squander.absstate.ObjTuple.ObjTuple(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple.

static ObjTuple edu.mit.csail.sdg.squander.absstate.ObjTuple.product	(	ObjTuple	tuple,
		Object	atom
	)			[static]

Definition at line 86 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.ObjTuple(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.product().

ObjTuple edu.mit.csail.sdg.squander.absstate.ObjTuple.product

(

ObjTuple

t

)

Definition at line 52 of file ObjTuple.java.

Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.makeConst(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.makeConst(), edu.mit.csail.sdg.squander.absstate.ObjTupleSet.product(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.product().

ObjTuple edu.mit.csail.sdg.squander.absstate.ObjTuple.projection	(	int	startCol,
		int	endCol
	)

Definition at line 35 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.ObjTuple(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple().

String edu.mit.csail.sdg.squander.absstate.ObjTuple.toString

(

)

Definition at line 82 of file ObjTuple.java.

References edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple().

Object [] edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple

(

)

Definition at line 45 of file ObjTuple.java.

Referenced by edu.mit.csail.sdg.squander.absstate.ObjTuple.atoms(), edu.mit.csail.sdg.squander.absstate.ObjTuple.equals(), edu.mit.csail.sdg.squander.absstate.ObjTuple.get(), edu.mit.csail.sdg.squander.absstate.ObjTuple.hashCode(), edu.mit.csail.sdg.squander.absstate.ObjTuple.iterator(), edu.mit.csail.sdg.squander.absstate.ObjTuple.ObjTuple(), edu.mit.csail.sdg.squander.absstate.ObjTuple.projection(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.toString().

---

Member Data Documentation

final int edu.mit.csail.sdg.squander.absstate.ObjTuple.arity [private]

Definition at line 20 of file ObjTuple.java.

Referenced by edu.mit.csail.sdg.squander.absstate.ObjTupleSet.add(), edu.mit.csail.sdg.squander.engine.Heap2Bounds.addBound(), edu.mit.csail.sdg.squander.absstate.ObjTuple.equals(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodPartImpl.KodkodIntEval.makeConst(), edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.KodkodEval.makeConst(), edu.mit.csail.sdg.squander.absstate.ObjTupleSet.ObjTupleSet(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.product().

final Object [] edu.mit.csail.sdg.squander.absstate.ObjTuple.tuple [private]

Definition at line 21 of file ObjTuple.java.

Referenced by edu.mit.csail.sdg.squander.absstate.ObjTuple.equals(), and edu.mit.csail.sdg.squander.absstate.ObjTuple.product().

---

The documentation for this class was generated from the following file:

• src/edu/mit/csail/sdg/squander/absstate/ObjTuple.java