de.up.ling.irtg.automata

Class WeightedTree

java.lang.Object

de.up.ling.irtg.automata.WeightedTree

All Implemented Interfaces:

Comparable<WeightedTree>

public class WeightedTree
extends Object
implements Comparable<WeightedTree>

A tree with a weight.

Author:

koller

Constructor Summary

Constructors

Constructor and Description
WeightedTree(Tree<Integer> tree, double weight)

Method Summary

Modifier and Type	Method and Description
int	compareTo(WeightedTree o)
static String	formatWeightedTree(WeightedTree wt, Signature sig)
Tree<Integer>	getTree()
double	getWeight()
String	toString()
String	toString(Signature sig)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

WeightedTree

public WeightedTree(Tree<Integer> tree,
                    double weight)

Method Detail

getTree

public Tree<Integer> getTree()

getWeight

public double getWeight()

compareTo

public int compareTo(WeightedTree o)

Specified by:

compareTo in interface Comparable<WeightedTree>

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Signature sig)

formatWeightedTree

public static String formatWeightedTree(WeightedTree wt,
                                        Signature sig)