public ResolutionState search() throws SearchNotExhaustiveException
    {
        SearchNode<ResolutionState, ResolutionState> path = findGoalPath();

        if (path != null)
        {
            return path.getState();
        }
        else
        {
            return null;
        }
    }
public ResolutionState search() throws SearchNotExhaustiveException
    {
        SearchNode<ResolutionState, ResolutionState> path = findGoalPath();

        if (path != null)
        {
            return path.getState();
        }
        else
        {
            return null;
        }
    }
public ResolutionState search ( ) throws SearchNotExhaustiveException { SearchNode < ResolutionState , ResolutionState > path = findGoalPath ( ) ; if ( path != null ) { return path . getState ( ) ; } else { return null ; } }
{@inheritDoc}
{