org.sat4j.minisat.core
Class Heap

java.lang.Object
  extended by 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 getmin()
           
 boolean heapProperty()
           
 boolean heapProperty(int i)
           
 void increase(int n)
           
 boolean inHeap(int n)
           
 void insert(int n)
           
 void setBounds(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()

insert

public void insert(int n)

getmin

public int getmin()

heapProperty

public boolean heapProperty()

heapProperty

public boolean heapProperty(int i)


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.