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

Interface IChooseInstance

All Known Implementing Classes:

ChooseInstance, ChooseRandomInstance

public interface IChooseInstance

Method Summary

Methods

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

Method Detail

chooseInstances

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