org.kahina.logic.sat.insertionmus.io

Class ResultReader

java.lang.Object

org.kahina.logic.sat.insertionmus.io.ResultReader

public class ResultReader
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ResultReader()

Method Summary

Methods

Modifier and Type	Method and Description
static void	readAssignment(int[] res, java.io.File result) Reads the result of a searched map and saves the result ready for a freeze file.

Methods inherited from class java.lang.Object

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

Constructor Detail

ResultReader

public ResultReader()

Method Detail

readAssignment

public static final void readAssignment(int[] res,
                  java.io.File result)
                                 throws java.io.IOException

Reads the result of a searched map and saves the result ready for a freeze file.

Throws:

java.io.IOException