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

java.lang.Object
  extended by se.chalmers.cs.gf.parse.chart.Profile
      extended by 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