org.jacop.jasat.utils.structures

Class IntStack

java.lang.Object

org.jacop.jasat.utils.structures.IntStack

public final class IntStack
extends Object

Special class for unboxed int stack

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
int[]	array
int	currentIndex
MemoryPool	pool

Constructor Summary

Constructors

Constructor and Description
IntStack(MemoryPool pool)

Method Summary

Modifier and Type	Method and Description
void	clear()
boolean	isEmpty()
int	peek() returns, without removing, the top element
int	pop() returns the top of the stack and removes it from the stack
void	push(int n) pushes the int on the stack
int	size()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

array

public int[] array

currentIndex

public int currentIndex

pool

public MemoryPool pool

Constructor Detail

IntStack

public IntStack(MemoryPool pool)

Method Detail

clear

public void clear()

isEmpty

public boolean isEmpty()

Returns:

true if the stack is empty

size

public int size()

Returns:

the number of elements of the stack

push

public void push(int n)

pushes the int on the stack

Parameters:

n - the element to push

pop

public int pop()

returns the top of the stack and removes it from the stack

Returns:

the top element

peek

public int peek()

returns, without removing, the top element

Returns:

the top element

toString

public String toString()

Overrides:

toString in class Object