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

Implementation of a queue. Formerly used in the solver to maintain unit literals for unit propagation. No longer used currently.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
IntQueue()

Method Summary

Modifier and Type	Method and Description
void	clear() Vide la queue
int	dequeue() returns the nexdt element in the queue.
void	ensure(int nsize) Utilisee pour accroitre dynamiquement la taille de la queue.
void	insert(int x) Add an element to the queue.
int	size() Pour connaitre la taille de la queue.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, 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 connaitre la taille de la queue.

Returns:

le nombre d'elements restant dans la queue

ensure

public void ensure(int nsize)

Utilisee pour accroitre 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