heros

Interface EdgeFunction<V>

Type Parameters:

V - The type of values to be computed along flow edges.

All Known Implementing Classes:

AllBottom, AllTop, EdgeIdentity

public interface EdgeFunction<V>

An edge function computes how a V-type value changes when flowing from one super-graph node to another. See Sagiv, Reps, Horwitz 1996. NOTE: Methods defined on this type may be called simultaneously by different threads. Hence, classes implementing this interface should synchronize accesses to any mutable shared state.

Method Summary

Modifier and Type	Method and Description
EdgeFunction<V>	composeWith(EdgeFunction<V> secondFunction) Composes this function with the secondFunction, effectively returning a summary function that maps sources to targets exactly as if first this function had been applied and then the secondFunction.
V	computeTarget(V source) Computes the value resulting from applying this function to source.
boolean	equalTo(EdgeFunction<V> other) Returns true is this function represents exactly the same source to target mapping as other.
EdgeFunction<V>	joinWith(EdgeFunction<V> otherFunction) Returns a function that represents that (element-wise) join of this function with otherFunction.

Method Detail

computeTarget

V computeTarget(V source)

Computes the value resulting from applying this function to source.

composeWith

EdgeFunction<V> composeWith(EdgeFunction<V> secondFunction)

Composes this function with the secondFunction, effectively returning a summary function that maps sources to targets exactly as if first this function had been applied and then the secondFunction.

joinWith

EdgeFunction<V> joinWith(EdgeFunction<V> otherFunction)

Returns a function that represents that (element-wise) join of this function with otherFunction. Naturally, this is a symmetric operation.

See Also:

JoinLattice.join(Object, Object)

equalTo

boolean equalTo(EdgeFunction<V> other)

Returns true is this function represents exactly the same source to target mapping as other.