ai.libs.jaicore.search.core.interfaces

Interface PathUnifyingGraphGenerator<N,A>

Type Parameters:

N -

A -

All Superinterfaces:

GraphGenerator<N,A>

public interface PathUnifyingGraphGenerator<N,A>
extends GraphGenerator<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

Modifier and Type	Method and Description
boolean	isPathSemanticallySubsumed(java.util.List<N> path, java.util.List<N> potentialSuperPath)

Methods inherited from interface ai.libs.jaicore.search.core.interfaces.GraphGenerator

getGoalTester, getRootGenerator, getSuccessorGenerator, isSelfContained, setNodeNumbering

Method Detail

isPathSemanticallySubsumed

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

Throws:

java.lang.InterruptedException