de.stups.probkodkod.sat

Class SAT4JWithTimeoutFactory

java.lang.Object

SATFactory

de.stups.probkodkod.sat.SAT4JWithTimeoutFactory

public class SAT4JWithTimeoutFactory
extends SATFactory

Constructor Summary

Constructors

Constructor and Description
SAT4JWithTimeoutFactory()
SAT4JWithTimeoutFactory(long ms)

Method Summary

Methods

Modifier and Type	Method and Description
SATSolver	instance()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SAT4JWithTimeoutFactory

public SAT4JWithTimeoutFactory()

SAT4JWithTimeoutFactory

public SAT4JWithTimeoutFactory(long ms)

Method Detail

instance

public SATSolver instance()

toString

public java.lang.String toString()