de.up.ling.irtg.hom

Class HomomorphismSymbol

java.lang.Object

de.up.ling.irtg.hom.HomomorphismSymbol

All Implemented Interfaces:

Serializable

public class HomomorphismSymbol
extends Object
implements Serializable

Author:

koller

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	HomomorphismSymbol.Type

Method Summary

Modifier and Type	Method and Description
static HomomorphismSymbol	createConstant(int symbolId) Creates a constant HomomorphismSymbol for the given symbol ID.
static HomomorphismSymbol	createConstant(String name, Signature signature, int arity) Creates a constant HomomorphismSymbol for the given symbol.
static HomomorphismSymbol	createVariable(int variableId)
static HomomorphismSymbol	createVariable(String varname)
boolean	equals(Object obj)
static ToIntFunction<HomomorphismSymbol>	getHomSymbolToIntFunction()
int	getIndex() Deprecated.
static ToIntFunction<HomomorphismSymbol>	getRemappingSymbolToIntFunction(SignatureMapper mapper) This is for running an automaton on the RHS of a homomorphism.
HomomorphismSymbol.Type	getType()
int	getValue()
static int	getVariableIndex(String varname)
int	hashCode()
boolean	isConstant()
boolean	isVariable()
static boolean	isVariableSymbol(String sym)
String	toString()
static Tree<String>	toStringTree(Tree<HomomorphismSymbol> tree, Signature signature) Converts a tree of HomomorphismSymbols into a tree of string labels.
static Tree<HomomorphismSymbol>	treeFromNames(Tree<String> tree, Signature signature) Converts a tree of string labels into a tree of HomomorphismSymbols.

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

getType

public HomomorphismSymbol.Type getType()

getValue

public int getValue()

createVariable

public static HomomorphismSymbol createVariable(String varname)

createVariable

public static HomomorphismSymbol createVariable(int variableId)

createConstant

public static HomomorphismSymbol createConstant(String name,
                                                Signature signature,
                                                int arity)

Creates a constant HomomorphismSymbol for the given symbol. The symbol is added to the given signature with the given arity if needed.

Parameters:

name -

signature -

arity -

Returns:

createConstant

public static HomomorphismSymbol createConstant(int symbolId)

Creates a constant HomomorphismSymbol for the given symbol ID.

Parameters:

symbolId -

Returns:

isVariableSymbol

public static boolean isVariableSymbol(String sym)

treeFromNames

public static Tree<HomomorphismSymbol> treeFromNames(Tree<String> tree,
                                                     Signature signature)

Converts a tree of string labels into a tree of HomomorphismSymbols. Nodes with the labels ?1, ?2, ... will be converted into variables. Constants will be resolved to symbol IDs using the given signature. Constants that are not known in the signature will be added to the signature, with the number of children in the tree as the arity.

Parameters:

tree -

signature -

Returns:

toStringTree

public static Tree<String> toStringTree(Tree<HomomorphismSymbol> tree,
                                        Signature signature)

Converts a tree of HomomorphismSymbols into a tree of string labels. Symbol IDs in constant labels are resolved according to the given signature. The tree returned by this method can be converted back into a tree of HomomorphismSymbols using treeFromNames.

Parameters:

tree -

signature -

Returns:

isConstant

public boolean isConstant()

isVariable

public boolean isVariable()

getIndex

@Deprecated
public int getIndex()

Deprecated.

getVariableIndex

public static int getVariableIndex(String varname)

toString

public String toString()

Overrides:

toString in class Object

getHomSymbolToIntFunction

public static ToIntFunction<HomomorphismSymbol> getHomSymbolToIntFunction()

getRemappingSymbolToIntFunction

public static ToIntFunction<HomomorphismSymbol> getRemappingSymbolToIntFunction(SignatureMapper mapper)

This is for running an automaton on the RHS of a homomorphism. "mapper" maps the hom target signature to the automaton signature. The function returns the symbol ID of the automaton signature to which the symbol ID in the HomomorphismSymbol corresponds.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object