at.jku.risc.stout.urauc.algo

Class AntiUnifyProblem.CommutativeArrangementIter

java.lang.Object

at.jku.risc.stout.urauc.algo.AntiUnifyProblem.CommutativeArrangementIter

Enclosing class:

AntiUnifyProblem

public class AntiUnifyProblem.CommutativeArrangementIter
extends Object

Author:

Alexander Baumgartner

Method Summary

Methods

Modifier and Type	Method and Description
TermAtomList	getLeftWord()
int	getMaxPossible()
TermAtomList	getRightWord()
boolean	hasNext()
boolean	isLeftFixed()
boolean	isRightFixed()
AntiUnifyProblem	next()
void	setLeftFixed(boolean leftFixed)
void	setRightFixed(boolean rightFixed)

Methods inherited from class java.lang.Object

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

Method Detail

getLeftWord

public TermAtomList getLeftWord()

getMaxPossible

public int getMaxPossible()

getRightWord

public TermAtomList getRightWord()

hasNext

public boolean hasNext()

isLeftFixed

public boolean isLeftFixed()

isRightFixed

public boolean isRightFixed()

next

public AntiUnifyProblem next()

setLeftFixed

public void setLeftFixed(boolean leftFixed)

setRightFixed

public void setRightFixed(boolean rightFixed)