de.up.ling.irtg

Class Interpretation<E>

java.lang.Object

de.up.ling.irtg.Interpretation<E>

Type Parameters:

E - Defines the object generated by the interpretation. This is the same type as the objects over which the algebra for this interpretation is defined.

All Implemented Interfaces:

Serializable

public class Interpretation<E>
extends Object
implements Serializable

This class represents an interpretation, a standard component of an IRTG which maps a derivation tree to a value. An interpretation consists of a homomorphism and an algebra. The Homomorphism maps a derivation tree to an expression in the algebra (also represented as a tree) and the algebra evaluates it.

Author:

koller

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Interpretation(Algebra<E> algebra, Homomorphism hom) Constructs new instance with the given algebra and homomorphism.

Method Summary

Modifier and Type	Method and Description
TreeAutomaton	basicNonDelInvHom(TreeAutomaton auto) This returns an inverse homomorphism automaton with the added assumption that the underlying homomorphism is non-deleting.
boolean	equals(Object obj) Equality holds if obj is also an interpretation, which has the same class of algebra and an homomorphism that is equals to the homomorphism for this interpretation.
Algebra<E>	getAlgebra() Obtains the algebra used by the interpretation.
Homomorphism	getHomomorphism() Obtains the homomorphism used by the interpretation.
E	interpret(Tree<String> t) Applies the homomorphism to the derivation tree "t" and evaluates it in the algebra.
Intersectable	invhom(TreeAutomaton auto) Returns the image under inverse homomorphism of the given automaton.
Intersectable	parse(E object) This method takes the given object and attempts to compute its inverse homomorphism automaton.
CondensedTreeAutomaton	parseToCondensed(E object) This method takes the given object and attempts to compute its inverse homomorphism automaton in the form of an condensed automaton.
void	setPmLogName(String name) This method allows the user to set the name under which feedback from the pattern matching factory is logged.
String	toString() Returns a string containing the algebra class and homomorphism used by this interpretation.

Methods inherited from class java.lang.Object

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

Constructor Detail

Interpretation

public Interpretation(Algebra<E> algebra,
                      Homomorphism hom)

Constructs new instance with the given algebra and homomorphism.

Parameters:

algebra -

hom -

Method Detail

interpret

public E interpret(Tree<String> t)

Applies the homomorphism to the derivation tree "t" and evaluates it in the algebra.

Parameters:

t -

Returns:

getAlgebra

public Algebra<E> getAlgebra()

Obtains the algebra used by the interpretation.

Returns:

getHomomorphism

public Homomorphism getHomomorphism()

Obtains the homomorphism used by the interpretation.

Returns:

invhom

public Intersectable invhom(TreeAutomaton auto)

Returns the image under inverse homomorphism of the given automaton. This is based on the homomorphism of this interpretation.

Parameters:

auto -

Returns:

basicNonDelInvHom

public TreeAutomaton basicNonDelInvHom(TreeAutomaton auto)

This returns an inverse homomorphism automaton with the added assumption that the underlying homomorphism is non-deleting. If the homomorphism is in fact deleting, then behavior is not well defined.

Parameters:

auto -

Returns:

parse

public Intersectable parse(E object)

This method takes the given object and attempts to compute its inverse homomorphism automaton. This means that the decomposition automaton under the algebra of this interpretation is found and then inverse of the homomorphism is applied.

Parameters:

object -

Returns:

parseToCondensed

public CondensedTreeAutomaton parseToCondensed(E object)

This method takes the given object and attempts to compute its inverse homomorphism automaton in the form of an condensed automaton. This means that the decomposition automaton under the algebra of this interpretation is found and then inverse of the homomorphism is applied.

Parameters:

object -

Returns:

toString

public String toString()

Returns a string containing the algebra class and homomorphism used by this interpretation.

Overrides:

toString in class Object

Returns:

equals

public boolean equals(Object obj)

Equality holds if obj is also an interpretation, which has the same class of algebra and an homomorphism that is equals to the homomorphism for this interpretation.

Overrides:

equals in class Object

Parameters:

obj -

Returns:

setPmLogName

public void setPmLogName(String name)

This method allows the user to set the name under which feedback from the pattern matching factory is logged.

Parameters:

name -