Modifier and Type | Method and Description |
---|---|
abstract java.util.Collection<Result> |
XmlCorrector.getCorrections()
Calculates every correction in the given threshold.
|
java.util.Collection<Result> |
XmlCorrectorMatrix.getCorrections() |
abstract Result |
XmlCorrector.getMinimalCorrections()
Calculates every minimal correction in the given threshold.
|
Result |
XmlCorrectorMatrix.getMinimalCorrections() |
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
|
Modifier and Type | Method and Description |
---|---|
Result |
TreeEditionMatrix.compare()
Method that will calculates every cell of the matrix and return the
result. null if there is no correction
|
Tree |
Cell.make(Tree t)
Use the given Tree to make the Operations of the first OperationSequence
and returns the modified Tree.
|
Tree |
Result.make(Tree t)
Use the given Tree to make the Operations of the first OperationSequence
and returns the modified Tree.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<OperationSequence> |
OperationSequence.abstractionToOperationSequences(Tree t)
Generates OperationSequence from the current one but without any
abstraction.
|
abstract void |
Operation.make(Tree tree)
Makes the Operation on the given Tree
|
void |
OperationSequence.make(Tree t)
Makes every Operation of the OperationSequence on the Tree given
|
org.jdom.Element |
OperationSequence.toXmlElement(Tree t,
int id)
Returns the OperationSequence formated to fit Xml as JDOM.
|
org.jdom.Element |
OperationSequence.toXmlElement(Tree t,
VocabTranslator vt,
int id)
Returns the OperationSequence formated to fit Xml as JDOM.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<OperationSequence> |
AddMinimalTreeOperation.abstractionToOperationSequences(Tree t) |
java.util.Collection<OperationSequence> |
CorrectTreeOperation.abstractionToOperationSequences(Tree t) |
Modifier and Type | Method and Description |
---|---|
void |
AddNodeOperation.make(Tree tree) |
void |
RelabelNodeOperation.make(Tree tree) |
Constructor and Description |
---|
AddNodeOperation(Address address,
java.lang.Character header)
Constructor of the operation AddNodeOperation
|
RelabelNodeOperation(Address address,
java.lang.Character header)
Constructor of the operation RelabelNodeOperation
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<OperationSequence> |
RemoveTreeOperation.abstractionToOperationSequences(Tree t) |
java.util.Collection<OperationSequence> |
AddTreeOperation.abstractionToOperationSequences(Tree t) |
abstract java.util.Collection<OperationSequence> |
UpdateOperation.abstractionToOperationSequences(Tree t)
Generates a list of OperationSequence that can't contain any Operation
that is Abstract
|
java.util.Collection<OperationSequence> |
ReplaceTreeOperation.abstractionToOperationSequences(Tree t) |
Modifier and Type | Method and Description |
---|---|
void |
TreeSchema.generateMinimalTrees(int max_cost,
boolean minimal)
Generates minimal trees
|
Modifier and Type | Method and Description |
---|---|
void |
Tree.addNode(Address address,
java.lang.Character header)
Creates a Node using the string parameter as Header
Add the new Node at the Address given If the Address is already used, it push every other Node to the right |
void |
Tree.addNode(java.lang.String adress,
java.lang.Character header)
Creates an Adresse using the parameter adress and then uses addNode
|
OperationSequence |
Tree.getCreationOperationsSequence()
Returns an OperationSequence that can be used to create the current tree
from an empty tree
|
void |
Tree.relabelNode(Address address,
java.lang.Character header)
Changes the Label (Header) of the Node at the given Address with the
given Header
|
void |
Tree.relabelNode(java.lang.String address,
java.lang.Character header)
Creates an Address using the String address given and Changes the Label
(Header) of the Node at the Address with the given Header
|
Constructor and Description |
---|
Tree(java.lang.Character root)
Constructor using the parameter to create a Node that will be the root
|