org.sat4j.pb.restarts

Class BigIntegerCircularBuffer

java.lang.Object

org.sat4j.pb.restarts.BigIntegerCircularBuffer

All Implemented Interfaces:

Serializable

public class BigIntegerCircularBuffer
extends Object
implements Serializable

Author:

wallon

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BigIntegerCircularBuffer(int capacity)

Method Summary

Modifier and Type	Method and Description
BigInteger	average()
void	clear()
boolean	isFull()
void	push(BigInteger value)
void	push(long value)

Methods inherited from class java.lang.Object

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

Constructor Detail

BigIntegerCircularBuffer

public BigIntegerCircularBuffer(int capacity)

Method Detail

push

public void push(long value)

push

public void push(BigInteger value)

average

public BigInteger average()

clear

public void clear()

isFull

public boolean isFull()