org.sat4j.minisat.core

Class Counter

java.lang.Object

org.sat4j.minisat.core.Counter

public class Counter
extends Object

Since:

2.1

Constructor Summary

Constructors

Constructor and Description
Counter()
Counter(int initialValue)

Method Summary

Methods

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

Counter

public Counter(int initialValue)

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