Package de.saar.chorus.domgraph.chart.wrtg

Class WeightedRegularTreeGrammar<E extends GraphBasedNonterminal,T extends Comparable<T>>

java.lang.Object

de.saar.chorus.domgraph.chart.RegularTreeGrammar<E>

de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar<E>

de.saar.chorus.domgraph.chart.wrtg.WeightedRegularTreeGrammar<E,T>

All Implemented Interfaces:

Cloneable

public class WeightedRegularTreeGrammar<E extends GraphBasedNonterminal,T extends Comparable<T>>
extends ConcreteRegularTreeGrammar<E>

Field Summary

Fields inherited from class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar

chart, finalStates, refcount, singletons, size, toplevelSubgraphs

Fields inherited from class de.saar.chorus.domgraph.chart.RegularTreeGrammar

numSolvedForms

Constructor Summary

Constructors

Constructor	Description
WeightedRegularTreeGrammar(Semiring<T> s)

Method Summary

Modifier and Type	Method	Description
void	addSplit(E subgraph, Split<E> split, T weight)
boolean	addWeightedDomEdge(String src, String tgt, T weight)
Set<Split<E>>	getAllSplits()
Semiring<T>	getSemiring()
T	getWeightForSplit(Split<E> split)
boolean	setWeightForSplit(Split<E> s, T weight)	TODO what to do if this split has a weight already?

Methods inherited from class de.saar.chorus.domgraph.chart.ConcreteRegularTreeGrammar

addSplit, addToplevelSubgraph, cleanup, clear, clone, containsSplitFor, countSubgraphs, deleteSubgraph, getAllNonterminals, getLabelForSplit, getRootForSingleton, getSplitsFor, getSplitsFor, getToplevelSubgraphs, isFinal, isSingleton, makeExplicit, recomputeSingletons, reduce, setFinal, setSplitsForSubgraph, size

Methods inherited from class de.saar.chorus.domgraph.chart.RegularTreeGrammar

countSolvedForms, countSolvedFormsFor, intersect, toString

Methods inherited from class java.lang.Object

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

Constructor Details

WeightedRegularTreeGrammar

public WeightedRegularTreeGrammar(Semiring<T> s)

Method Details

setWeightForSplit

public boolean setWeightForSplit(Split<E> s,
 T weight)

TODO what to do if this split has a weight already?

Parameters:

s -

weight -

Returns:

getWeightForSplit

public T getWeightForSplit(Split<E> split)

getSemiring

public Semiring<T> getSemiring()

addSplit

public void addSplit(E subgraph,
 Split<E> split,
 T weight)

getAllSplits

public Set<Split<E>> getAllSplits()

addWeightedDomEdge

public boolean addWeightedDomEdge(String src,
 String tgt,
 T weight)