jdrew.oo.td
Class BackwardReasoner.SubGoalListIterator

java.lang.Object
  jdrew.oo.td.BackwardReasoner.SubGoalListIterator

All Implemented Interfaces:

java.util.Iterator

Enclosing class:

BackwardReasoner

public class BackwardReasoner.SubGoalListIterator
extends java.lang.Object
implements java.util.Iterator

Title: OO jDREW

Description: Reasoning Engine for the Semantic Web - Supporting OO RuleML 0.88

Copyright: Copyright (c) 2005

Field Summary

static int	APPLY_TO_GOAL
static int	APPLY_TO_GOAL_AND_GOALLIST
static int	APPLY_TO_GOALLIST
java.util.Iterator	uit

Method Summary

boolean	hasNext()
java.lang.Object	next()
int	nextGoalListSize()
void	remove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

APPLY_TO_GOALLIST

public static final int APPLY_TO_GOALLIST

See Also:

Constant Field Values

APPLY_TO_GOAL_AND_GOALLIST

public static final int APPLY_TO_GOAL_AND_GOALLIST

See Also:

Constant Field Values

APPLY_TO_GOAL

public static final int APPLY_TO_GOAL

See Also:

Constant Field Values

uit

public java.util.Iterator uit

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator

Returns:

boolean

next

public java.lang.Object next()

Specified by:

next in interface java.util.Iterator

Returns:

Object

nextGoalListSize

public int nextGoalListSize()

Returns:

int

remove

public void remove()
            throws java.lang.UnsupportedOperationException

Specified by:

remove in interface java.util.Iterator

Throws:

java.lang.UnsupportedOperationException