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

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

public class ConstProfile
extends Profile

Constructor Summary

ConstProfile(java.lang.String fun)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstProfile

public ConstProfile(java.lang.String fun)

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.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object