at.jku.risc.stout.hoau.data

Class LambdaHedge

java.lang.Object

at.jku.risc.stout.hoau.util.Printable

at.jku.risc.stout.hoau.data.Hedge

at.jku.risc.stout.hoau.data.LambdaHedge

All Implemented Interfaces:

Cloneable

public class LambdaHedge
extends Hedge

A LambdaHedge is a list of TermNodes.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static String	PRINT_PARAM_END
static String	PRINT_PARAM_SEPARATOR
static String	PRINT_PARAM_START

Constructor Summary

Constructors

Constructor and Description
LambdaHedge()

Method Summary

Methods

Modifier and Type	Method and Description
Hedge	newInstance()
void	print(Writer out)
void	print(Writer out, boolean isBlock)
void	print(Writer out, TermAtom atom, boolean needLamdaBracket)
Hedge	reduce(int count)

Methods inherited from class at.jku.risc.stout.hoau.data.Hedge

add, clear, clone, equals, get, isEmpty, size, substitute, substitute

Methods inherited from class at.jku.risc.stout.hoau.util.Printable

toString

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

PRINT_PARAM_END

public static String PRINT_PARAM_END

PRINT_PARAM_SEPARATOR

public static String PRINT_PARAM_SEPARATOR

PRINT_PARAM_START

public static String PRINT_PARAM_START

Constructor Detail

LambdaHedge

public LambdaHedge()

Method Detail

newInstance

public Hedge newInstance()

Overrides:

newInstance in class Hedge

print

public void print(Writer out)
           throws IOException

Overrides:

print in class Hedge

Throws:

IOException

print

public void print(Writer out,
         boolean isBlock)
           throws IOException

Throws:

IOException

print

public void print(Writer out,
         TermAtom atom,
         boolean needLamdaBracket)
           throws IOException

Overrides:

print in class Hedge

Throws:

IOException

reduce

public Hedge reduce(int count)
             throws NotNormalizableException

Overrides:

reduce in class Hedge

Throws:

NotNormalizableException