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

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

Direct Known Subclasses:

ConstProfile, UnifyProfile

public abstract class Profile
extends java.lang.Object

Constructor Summary

Profile()

Method Summary

abstract Tree

buildChild(Tree[] children) Use this profile to build a tree from the RHS trees.

Methods inherited from class java.lang.Object

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

Constructor Detail

Profile

public Profile()

Method Detail

buildChild

public abstract Tree buildChild(Tree[] children)

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

Returns:

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