org.sat4j.minisat.core
Class IntQueue

java.lang.Object
  org.sat4j.minisat.core.IntQueue

All Implemented Interfaces:

java.io.Serializable

public final class IntQueue
extends java.lang.Object
implements java.io.Serializable

Author:

leberre Implantation d'une queue � l'aide d'un tableau

See Also:

Serialized Form

Constructor Summary

IntQueue()

Method Summary

void	clear() Vide la queue
int	dequeue() returns the nexdt element in the queue.
void	ensure(int nsize) Utilis�e pour accro�tre dynamiquement la taille de la queue.
void	insert(int x) Add an element to the queue.
int	size() Pour conna�tre la taille de la queue.
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IntQueue

public IntQueue()

Method Detail

insert

public void insert(int x)

Add an element to the queue. The queue is supposed to be large enough for that!

Parameters:

x - the element to add

dequeue

public int dequeue()

returns the nexdt element in the queue. Unexpected results if the queue is empty!

Returns:

the firsst element on the queue

clear

public void clear()

Vide la queue

size

public int size()

Pour conna�tre la taille de la queue.

Returns:

le nombre d'�l�ments restant dans la queue

ensure

public void ensure(int nsize)

Utilis�e pour accro�tre dynamiquement la taille de la queue.

Parameters:

nsize - la taille maximale de la queue

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object