org.sat4j.tools
Class SolutionCounter

java.lang.Object
  org.sat4j.tools.SolverDecorator
      org.sat4j.tools.SolutionCounter

All Implemented Interfaces:

java.io.Serializable, IProblem, ISolver

public class SolutionCounter
extends SolverDecorator

Another solver decorator that counts the number of solutions. Note that this approach is quite naive so do not expect it to work on large examples.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

SolutionCounter(ISolver solver)

Method Summary

long	countSolutions()

Methods inherited from class org.sat4j.tools.SolverDecorator

addAllClauses, addAtLeast, addAtMost, addClause, addPseudoBoolean, clearLearntClauses, decorated, findModel, findModel, getStat, getTimeout, isSatisfiable, isSatisfiable, model, model, nConstraints, newVar, newVar, nVars, printStat, printStat, removeConstr, reset, setExpectedNumberOfClauses, setTimeout, setTimeoutMs, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SolutionCounter

public SolutionCounter(ISolver solver)

Method Detail

countSolutions

public long countSolutions()
                    throws TimeoutException

Throws:

TimeoutException