Interface PathUnifyingGraphGenerator<N,​A>

  • 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.
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      boolean isPathSemanticallySubsumed​(java.util.List<N> path, java.util.List<N> potentialSuperPath)  
      • Methods inherited from interface org.api4.java.datastructure.graph.implicit.IGraphGenerator

        getRootGenerator, getSuccessorGenerator
    • Method Detail

      • isPathSemanticallySubsumed

        boolean isPathSemanticallySubsumed​(java.util.List<N> path,
                                           java.util.List<N> potentialSuperPath)
                                    throws java.lang.InterruptedException
        Throws:
        java.lang.InterruptedException