org.sat4j.minisat.core
Class Heap

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

All Implemented Interfaces:

Serializable

public final class Heap
extends Object
implements Serializable

Heap implementation used to maintain the variables order in some heuristics.

Author:

daniel

See Also:

Serialized Form

Constructor Summary

Heap(double[] activity)

Method Summary

boolean	empty()
int	get(int i)
int	getmin()
boolean	heapProperty()
boolean	heapProperty(int i)
void	increase(int n)
boolean	inHeap(int n)
void	insert(int n)
void	setBounds(int size)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

Heap

public Heap(double[] activity)

Method Detail

setBounds

public void setBounds(int size)

inHeap

public boolean inHeap(int n)

increase

public void increase(int n)

empty

public boolean empty()

size

public int size()

get

public int get(int i)

insert

public void insert(int n)

getmin

public int getmin()

heapProperty

public boolean heapProperty()

heapProperty

public boolean heapProperty(int i)