com.crawljax.stateabstractions.dom.RTED

Class RTED_InfoTree_Opt

java.lang.Object

com.crawljax.stateabstractions.dom.RTED.RTED_InfoTree_Opt

public class RTED_InfoTree_Opt
extends Object

Computes the tree edit distance using RTED algorithm.

Author:

Mateusz Pawlik

Field Summary

Fields

Modifier and Type	Field and Description
long	counter
int[]	strStat

Constructor Summary

Constructors

Constructor and Description
RTED_InfoTree_Opt(double delCost, double insCost, double matchCost) The constructor.

Method Summary

Modifier and Type	Method and Description
void	computeOptimalStrategy() A method for computing and storing the optimal strategy
void	init(LblTree t1, LblTree t2) Initialization method.
double	nonNormalizedTreeDist()
double	nonNormalizedTreeDist(LblTree t1, LblTree t2) Computes the tree edit distance between trees t1 and t2.
void	setCustomCosts(double costDel, double costIns, double costMatch)
void	setCustomStrategy(int[][] strategyArray)
void	setCustomStrategy(int strategy, boolean ifSwitch)

Methods inherited from class java.lang.Object

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

Field Detail

counter

public long counter

strStat

public int[] strStat

Constructor Detail

RTED_InfoTree_Opt

public RTED_InfoTree_Opt(double delCost,
                         double insCost,
                         double matchCost)

The constructor. Parameters passed are the edit operation costs.

Parameters:

delCost -

insCost -

matchCost -

Method Detail

nonNormalizedTreeDist

public double nonNormalizedTreeDist(LblTree t1,
                                    LblTree t2)

Computes the tree edit distance between trees t1 and t2.

Parameters:

t1 -

t2 -

Returns:

tree edit distance between trees t1 and t2

nonNormalizedTreeDist

public double nonNormalizedTreeDist()

init

public void init(LblTree t1,
                 LblTree t2)

Initialization method.

Parameters:

t1 -

t2 -

computeOptimalStrategy

public void computeOptimalStrategy()

A method for computing and storing the optimal strategy

setCustomCosts

public void setCustomCosts(double costDel,
                           double costIns,
                           double costMatch)

setCustomStrategy

public void setCustomStrategy(int[][] strategyArray)

setCustomStrategy

public void setCustomStrategy(int strategy,
                              boolean ifSwitch)