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

Class ChooseInstance

java.lang.Object

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

All Implemented Interfaces:

IChooseInstance

public class ChooseInstance
extends java.lang.Object
implements IChooseInstance

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

Method Detail

chooseInstances

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

Specified by:

chooseInstances in interface IChooseInstance