- Type Parameters:
N -
A -
- All Superinterfaces:
org.api4.java.datastructure.graph.implicit.IGraphGenerator<N,A>
public interface PathUnifyingGraphGenerator<N,A>
extends org.api4.java.datastructure.graph.implicit.IGraphGenerator<N,A>
This is an extension of the classical GraphGenerator that allows to assert that a path is semantically subsumed by another.
This is important if it is not trivially checkable whether two states are identical due to deviating object names of semantically equivalent objects.