
N - graph node type.E - graph edge type.T - graph transformer type.G - graph type.A - assumption type.public interface TransformationFunction<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>
| Modifier and Type | Interface and Description |
|---|---|
static interface |
TransformationFunction.Transformation<T,G extends Graph<?,?,T>>
Transformation defines new subgraph replacement for a node, and
transformation which will be applied during the last (actualizing) step
of analysis.
|
| Modifier and Type | Method and Description |
|---|---|
TransformationFunction.Transformation<T,G> |
transform(N node,
G graph,
AssumptionMap<E,A> assumptionMap)
Gets node transformation for a given node.
|
TransformationFunction.Transformation<T,G> transform(N node, G graph, AssumptionMap<E,A> assumptionMap)
null if no transformation is
necessary.Copyright © 2018. All rights reserved.