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

Version:

0.89

Author:

Marcel A. Ball

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

equals, 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