
N - graph node type.E - edge type.T - graph transformation type.G - graph type.A - assumption type.public interface IntegratedFlowFunction<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>
| Modifier and Type | Method and Description |
|---|---|
TransformationFunction.Transformation<T,G> |
interpretOrReplace(N node,
G graph,
AssumptionMap<E,A> assumptionMap)
Either interpret a node by computing new assumptions, or produce
node transformation.
|
TransformationFunction.Transformation<T,G> interpretOrReplace(N node, G graph, AssumptionMap<E,A> assumptionMap)
Copyright © 2018. All rights reserved.