Package | Description |
---|---|
de.up.ling.irtg.algebra |
Classes representing a number of useful algebras.
|
de.up.ling.irtg.algebra.graph |
The algebra of s-graphs, together with supporting classes.
|
de.up.ling.irtg.automata |
Classes for tree automata of various types.
|
de.up.ling.irtg.automata.condensed |
Classes for "condensed" tree automata.
|
de.up.ling.irtg.binarization |
Classes for binarizing IRTGs.
|
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.
|
Modifier and Type | Method and Description |
---|---|
Signature |
EvaluatingAlgebra.getSignature() |
Signature |
Algebra.getSignature()
Returns the signature of this algebra.
|
Constructor and Description |
---|
GraphAlgebra(Signature signature)
Creates a graph algebra with the given signature.
|
Modifier and Type | Method and Description |
---|---|
Signature |
TreeAutomaton.getSignature()
Returns the signature of the automaton.
|
Modifier and Type | Method and Description |
---|---|
static String |
WeightedTree.formatWeightedTree(WeightedTree wt,
Signature sig) |
String |
WeightedTree.toString(Signature sig) |
Constructor and Description |
---|
ConcreteTreeAutomaton(Signature signature)
Constructs a new instance without any final states or rules.
|
ConcreteTreeAutomaton(Signature signature,
Interner<State> interner)
Constructs a new instance without any final states or rules, which
will use the given state interner to enumerate its states.
|
SingletonAutomaton(Tree<String> tree,
Signature signature) |
TreeAutomaton(Signature signature) |
UniversalAutomaton(Signature signature) |
Constructor and Description |
---|
ConcreteCondensedTreeAutomaton(Signature sig)
Constructs a new instance which is backed by the given signature.
|
CondensedTreeAutomaton(Signature signature) |
Constructor and Description |
---|
OneSymbolAutomaton(String symbol,
Signature signature) |
Modifier and Type | Method and Description |
---|---|
Signature |
Homomorphism.getSourceSignature() |
Signature |
Homomorphism.getTargetSignature() |
Modifier and Type | Method and Description |
---|---|
static HomomorphismSymbol |
HomomorphismSymbol.createConstant(String name,
Signature signature,
int arity)
Creates a constant HomomorphismSymbol for the given symbol.
|
static Tree<String> |
HomomorphismSymbol.toStringTree(Tree<HomomorphismSymbol> tree,
Signature signature)
Converts a tree of HomomorphismSymbols into a tree of string labels.
|
static Tree<HomomorphismSymbol> |
HomomorphismSymbol.treeFromNames(Tree<String> tree,
Signature signature)
Converts a tree of string labels into a tree of HomomorphismSymbols.
|
Constructor and Description |
---|
Homomorphism(Signature src,
Signature tgt) |
Modifier and Type | Method and Description |
---|---|
SignatureMapper |
Signature.getMapperTo(Signature other)
Obtains a signature mapper between this signature on the given other
signature.
|
int[] |
Signature.remap(Signature other)
Returns an arrary x such that the symbol with ID i in this signature is
the same as the symbol with ID x[i] in the other signature.
|
Modifier and Type | Method and Description |
---|---|
static Signature |
TestingTools.sig(Map<String,Integer> symbols) |
Modifier and Type | Method and Description |
---|---|
static Homomorphism |
TestingTools.hom(Map<String,String> mappings,
Signature sourceSignature) |
static Homomorphism |
TestingTools.hom(Map<String,String> mappings,
Signature sourceSignature,
Signature targetSignature) |
static Tree<HomomorphismSymbol> |
TestingTools.pth(String s,
Signature sig) |
static Tree<Integer> |
TestingTools.pti(String s,
Signature sig) |
Constructor and Description |
---|
MultiplyMapItemEvaluator(Map<String,Double> factors,
Signature sig) |
Copyright © 2017. All rights reserved.