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

Property Summary

Properties

Type	Property and Description
boolean	heap

Constructor Summary

Constructors

Constructor and Description
Heap(double[] activity)

Method Summary

Methods

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

Property Detail

heap

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)