Package | Description |
---|---|
fr.ufrt.xmlcorrector.controller |
Modifier and Type | Method and Description |
---|---|
java.util.Vector<java.lang.Integer> |
XmlCorrectorController.createResultFile(Result resultat)
Creates the result file for the given Result
|
void |
XmlCorrectorController.resultVerification(OperationSequence os,
int cost)
Verifies that the tree made from the OperationSequence is correct / has
the correct cost
|