se.chalmers.cs.gf.parse.chart
Class UnifyProfile

java.lang.Object
  se.chalmers.cs.gf.parse.chart.Profile
      se.chalmers.cs.gf.parse.chart.UnifyProfile

public class UnifyProfile
extends Profile

Constructor Summary

UnifyProfile(int[] profile)

Method Summary

Tree	buildChild(Tree[] children) Use this profile to build a tree from the RHS trees.
java.lang.String	toString()
static Tree	unifyTrees(Tree t1, Tree t2)

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifyProfile

public UnifyProfile(int[] profile)

Method Detail

buildChild

public Tree buildChild(Tree[] children)

Description copied from class: Profile

Use this profile to build a tree from the RHS trees.

Specified by:

buildChild in class Profile

Returns:

The new tree, or null if no tree could be produced, for example due to a unification failure.

unifyTrees

public static Tree unifyTrees(Tree t1,
                              Tree t2)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object