org.sat4j.minisat.core

Class CircularBuffer

java.lang.Object

org.sat4j.minisat.core.CircularBuffer

All Implemented Interfaces:

Serializable

public class CircularBuffer
extends Object
implements Serializable

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

Author:

leberre

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CircularBuffer(int capacity)

Method Summary

Methods

Modifier and Type	Method and Description
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()