org.sat4j.minisat.core
Class Counter

java.lang.Object
  extended by org.sat4j.minisat.core.Counter

public class Counter
extends Object

Since:
2.1

Constructor Summary
Counter()
           
 
Method Summary
 void dec()
           
 int getValue()
           
 void inc()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Counter

public Counter()
Method Detail

inc

public void inc()

dec

public void dec()
Since:
2.1

toString

public String toString()
Overrides:
toString in class Object

getValue

public int getValue()
Returns:
the value of the counter.
Since:
2.3.1


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