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 |
RemoveNodeOperation.make(Tree tree) |
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) |
void |
RemoveTreeOperation.make(Tree tree) |
void |
AddTreeOperation.make(Tree tree) |
void |
ReplaceTreeOperation.make(Tree tree) |
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
|
void |
Tree.addTree(Address address,
Tree tree)
Adds the Tree at the Address given
|
void |
Tree.addTree(java.lang.String address,
Tree tree)
Creates an Address with the String given and adds the Tree at this
Address
|
Address |
Address.getChildAddress(int i)
Returns the Address of the Child at the given position
|
OperationSequence |
Tree.getCreationOperationsSequence()
Returns an OperationSequence that can be used to create the current tree
from an empty tree
|
Address |
Address.getFatherAddress()
Returns the address of the father if it exists
|
OperationSequence |
Tree.getRemoveOperationsSequence()
Returns an OperationSequence that can be used to remove completely the
current tree
|
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
|
void |
Tree.removeNode(Address address)
Removes the Node at the Address given if it is a Leaf
|
void |
Tree.removeNode(java.lang.String adress)
Creates an Address with the String given and Removes the Node at the
Address if it is a Leaf
|
void |
Tree.removeTree(Address address)
Removes the Node at the Address given even if it isn't a Leaf
|
void |
Tree.removeTree(java.lang.String address)
Creates an Address with the String given and removes the Node at this
Address even if it isn't a Leaf
|
void |
Tree.replaceTree(Address address,
Tree tree)
Replace the Node and its children at the given Address with the tree
given
|
void |
Tree.replaceTree(java.lang.String address,
Tree tree)
Creates an Address with the String given and replace the Node and its
children at this Address with the tree given
|
Constructor and Description |
---|
Address(java.lang.String address)
Creates an instance of Address using the String given
WARNING: if the adress isn't well formed, it will take the "0" address. |