org.sat4j.minisat.core
Class CircularBuffer

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

public class CircularBuffer
extends Object

Create a circular buffer of a given capacity allowing to compute efficiently the mean of the values storied.

Author:

leberre

Constructor Summary

CircularBuffer(int capacity)

Method Summary

long	average()
void	clear()
boolean	isFull()
void	push(int value)

Methods inherited from class java.lang.Object

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

Constructor Detail

CircularBuffer

public CircularBuffer(int capacity)

Method Detail

push

public void push(int value)

average

public long average()

clear

public void clear()

isFull

public boolean isFull()