org.sat4j.minisat.core
Class IntQueue

java.lang.Object
  extended by 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
IntQueue()
           
 
Method Summary
 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


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.