Uses of Class
de.up.ling.irtg.hom.HomomorphismSymbol

Packages that use HomomorphismSymbol

Package	Description
de.up.ling.irtg.hom	Classes for working with tree homomorphisms.
de.up.ling.irtg.signature	Signatures and other classes for mapping between human-readable representations of states and symbols and internal numeric representations.
de.up.ling.irtg.util	Various utilities.

Uses of HomomorphismSymbol in de.up.ling.irtg.hom

Methods in de.up.ling.irtg.hom that return HomomorphismSymbol

Modifier and Type	Method and Description
HomomorphismSymbol	Homomorphism.c(String constant)
HomomorphismSymbol	Homomorphism.c(String constant, int arity)
static HomomorphismSymbol	HomomorphismSymbol.createConstant(int symbolId) Creates a constant HomomorphismSymbol for the given symbol ID.
static HomomorphismSymbol	HomomorphismSymbol.createConstant(String name, Signature signature, int arity) Creates a constant HomomorphismSymbol for the given symbol.
static HomomorphismSymbol	HomomorphismSymbol.createVariable(int variableId)
static HomomorphismSymbol	HomomorphismSymbol.createVariable(String varname)
HomomorphismSymbol	Homomorphism.v(String variable)

Methods in de.up.ling.irtg.hom that return types with arguments of type HomomorphismSymbol

Modifier and Type	Method and Description
Tree<HomomorphismSymbol>	Homomorphism.get(int label) Returns the value h(label), using symbol IDs.
Tree<HomomorphismSymbol>	Homomorphism.getByLabelSetID(int labelSetID)
static ToIntFunction<HomomorphismSymbol>	HomomorphismSymbol.getHomSymbolToIntFunction()
static ToIntFunction<HomomorphismSymbol>	HomomorphismSymbol.getRemappingSymbolToIntFunction(SignatureMapper mapper) This is for running an automaton on the RHS of a homomorphism.
static Tree<HomomorphismSymbol>	HomomorphismSymbol.treeFromNames(Tree<String> tree, Signature signature) Converts a tree of string labels into a tree of HomomorphismSymbols.

Method parameters in de.up.ling.irtg.hom with type arguments of type HomomorphismSymbol

Modifier and Type	Method and Description
void	Homomorphism.add(int label, Tree<HomomorphismSymbol> mapping)
String	Homomorphism.rhsAsString(Tree<HomomorphismSymbol> t)
static Tree<String>	HomomorphismSymbol.toStringTree(Tree<HomomorphismSymbol> tree, Signature signature) Converts a tree of HomomorphismSymbols into a tree of string labels.

Uses of HomomorphismSymbol in de.up.ling.irtg.signature

Method parameters in de.up.ling.irtg.signature with type arguments of type HomomorphismSymbol

Modifier and Type	Method and Description
void	Signature.addAllConstants(Tree<HomomorphismSymbol> tree) Adds all the constants from the tree to the signature.

Uses of HomomorphismSymbol in de.up.ling.irtg.util

Methods in de.up.ling.irtg.util that return types with arguments of type HomomorphismSymbol

Modifier and Type	Method and Description
static Tree<HomomorphismSymbol>	TestingTools.pth(String s, Signature sig)