de.up.ling.irtg.hom

Class Homomorphism

java.lang.Object

de.up.ling.irtg.hom.Homomorphism

All Implemented Interfaces:

Serializable

public class Homomorphism
extends Object
implements Serializable

Author:

koller

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Homomorphism(Signature src, Signature tgt)

Method Summary

Modifier and Type	Method and Description
void	add(int label, Tree<HomomorphismSymbol> mapping)
void	add(String label, Tree<String> mapping)
Tree<String>	apply(Tree<String> tree)
Tree<Integer>	applyRaw(Tree<Integer> tree)
HomomorphismSymbol	c(String constant)
HomomorphismSymbol	c(String constant, int arity)
boolean	equals(Object obj)
Tree<HomomorphismSymbol>	get(int label) Returns the value h(label), using symbol IDs.
Tree<String>	get(String label) Returns the value h(label).
Tree<HomomorphismSymbol>	getByLabelSetID(int labelSetID)
IntSet	getLabelSetByLabelSetID(int labelSetID)
IntSet	getLabelSetForLabel(int label)
int	getLabelSetID(int label) Deprecated.
int	getLabelSetIDByLabelSet(IntSet labelSet)
IntCollection	getLabelsetIDsForTgtSymbols(IntSet tgtSymbols)
int	getMaxLabelSetID()
SignatureMapper	getSignatureMapper() Returns a mapper that translates symbols of the source signature into symbols of the target signature (and back).
Signature	getSourceSignature()
Signature	getTargetSignature()
int	getTermID(int label)
boolean	isNonDeleting()
String	rhsAsString(Tree<HomomorphismSymbol> t)
String	toString()
String	toStringCondensed()
HomomorphismSymbol	v(String variable)

Methods inherited from class java.lang.Object

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

Constructor Detail

Homomorphism

public Homomorphism(Signature src,
                    Signature tgt)

Method Detail

add

public void add(String label,
                Tree<String> mapping)

add

public void add(int label,
                Tree<HomomorphismSymbol> mapping)

get

public Tree<HomomorphismSymbol> get(int label)

Returns the value h(label), using symbol IDs.

Parameters:

label -

Returns:

getByLabelSetID

public Tree<HomomorphismSymbol> getByLabelSetID(int labelSetID)

getLabelSetByLabelSetID

public IntSet getLabelSetByLabelSetID(int labelSetID)

getLabelSetIDByLabelSet

public int getLabelSetIDByLabelSet(IntSet labelSet)

getTermID

public int getTermID(int label)

getLabelSetID

@Deprecated
public int getLabelSetID(int label)

Deprecated.

This method is deprecated. Use getTermID(int) instead.

Parameters:

label -

Returns:

getLabelSetForLabel

public IntSet getLabelSetForLabel(int label)

getMaxLabelSetID

public int getMaxLabelSetID()

get

public Tree<String> get(String label)

Returns the value h(label). The label is resolved according to the homomorphism's source signature, and is expected to be known there. The labels in the returned tree are elements of the homomorphism's target signature. If necessary, the returned tree can be converted back to a tree of HomomorphismSymbols using HomomorphismSymbo.treeFromNames and the homomorphism's target signature.

Parameters:

label -

Returns:

getLabelsetIDsForTgtSymbols

public IntCollection getLabelsetIDsForTgtSymbols(IntSet tgtSymbols)

applyRaw

public Tree<Integer> applyRaw(Tree<Integer> tree)

apply

public Tree<String> apply(Tree<String> tree)

toStringCondensed

public String toStringCondensed()

toString

public String toString()

Overrides:

toString in class Object

rhsAsString

public String rhsAsString(Tree<HomomorphismSymbol> t)

getSourceSignature

public Signature getSourceSignature()

getTargetSignature

public Signature getTargetSignature()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

isNonDeleting

public boolean isNonDeleting()

getSignatureMapper

public SignatureMapper getSignatureMapper()

Returns a mapper that translates symbols of the source signature into symbols of the target signature (and back). The mapper is computed by need, when this method is called for the first time, and then reused. Note that if one of the underlying signatures changes, you need to call SignatureMapper.recompute() to update the mapper.

Returns:

c

public HomomorphismSymbol c(String constant)

c

public HomomorphismSymbol c(String constant,
                            int arity)

v

public HomomorphismSymbol v(String variable)