org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

Class ChooseRandomInstance

java.lang.Object

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.ChooseRandomInstance

All Implemented Interfaces:

IChooseInstance

public class ChooseRandomInstance
extends java.lang.Object
implements IChooseInstance

Constructor Summary

Constructors

Constructor and Description
ChooseRandomInstance()

Method Summary

Methods

Modifier and Type	Method and Description
void	chooseInstances(java.lang.String directory, int i)

Methods inherited from class java.lang.Object

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

Constructor Detail

ChooseRandomInstance

public ChooseRandomInstance()

Method Detail

chooseInstances

public void chooseInstances(java.lang.String directory,
                   int i)

Specified by:

chooseInstances in interface IChooseInstance