hu.birot.OTKit.runableExamples
Class Tableau

java.lang.Object
  hu.birot.OTKit.runableExamples.Tableau

public class Tableau
extends java.lang.Object

Create a tableau for a string grammar.

See Also:

StringGrammar

Field Summary

static java.lang.String	Divider This String gives you the character(s) to be used to divide the columns of the tableau.
static java.lang.String	FirstDivider This String gives you the character(s) following the first column of the tableau.

Constructor Summary

Tableau()

Method Summary

static void	main(java.lang.String[] arg)
static java.lang.String	tableau(Grammar G, Form uf) This static method returns a String containing the tableau generated by Grammar G using underlying form uf.

Methods inherited from class java.lang.Object

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

Field Detail

Divider

public static java.lang.String Divider

This String gives you the character(s) to be used to divide the columns of the tableau. By default, it is " | ", but you may want to change it to " & " if you wish to use the output in LaTeX.

FirstDivider

public static java.lang.String FirstDivider

This String gives you the character(s) following the first column of the tableau. By default, it is " | ", but you may want to change it to " & " if you wish to use the output in LaTeX.

Constructor Detail

Tableau

public Tableau()

Method Detail

main

public static void main(java.lang.String[] arg)

tableau

public static java.lang.String tableau(Grammar G,
                                       Form uf)

This static method returns a String containing the tableau generated by Grammar G using underlying form uf.

The set of candidates generated by G.gen from uf must be finite (refer to method G.gen.allCandidates(uf)). Method G.hierarchy.sortedByRank() is used to define the ranking: make sure you call the method G.hierarchy.sortByRank() before employing this method.

Parameters:

G - Grammar generating the tableau.

uf - Underlying form from which the tablea is generated.

Returns:

A string containing the corresponding tableau.