org.sat4j.minisat.core
Class Counter

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

public class Counter
extends java.lang.Object

Since:

2.1

Constructor Summary

Counter()

Method Summary

void	dec()
void	inc()
java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object