org.provarules.reference2

Class ProvaGoalImpl

java.lang.Object

org.provarules.reference2.ProvaGoalImpl

All Implemented Interfaces:

ProvaGoal

public class ProvaGoalImpl
extends java.lang.Object
implements ProvaGoal

Constructor Summary

Constructors

Constructor and Description
ProvaGoalImpl(java.util.List<ProvaVariable> variables, ProvaLiteral goal)
ProvaGoalImpl(ProvaRule query)

Method Summary

Modifier and Type	Method and Description
void	addAnswer(ProvaList terms)
void	addOuterAnswer(ProvaList terms)
ProvaLiteral	getGoal()
java.util.Iterator<ProvaRule>	getIterator()
ProvaRule	getLastMatch()
ProvaPredicate	getPredicate()
ProvaRule	getQuery()
java.util.List<ProvaVariable>	getVariables()
boolean	hasNext()
boolean	isCut()
boolean	isSingleClause()
java.lang.Object	lookupMetadata(java.lang.String reference, java.util.List<ProvaVariable> variables)
ProvaRule	next()
ProvaUnification	nextUnification(ProvaKnowledgeBase kb)
void	removeTarget()
void	setCut(boolean cut)
void	setGoal(ProvaLiteral goal)
void	setIterator(java.util.Iterator<ProvaRule> iterator)
void	setLastMatch(ProvaRule lastMatch)
void	update()
void	updateGround()
void	updateMetadataGoal()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaGoalImpl

public ProvaGoalImpl(ProvaRule query)

ProvaGoalImpl

public ProvaGoalImpl(java.util.List<ProvaVariable> variables,
                     ProvaLiteral goal)

Method Detail

update

public void update()

Specified by:

update in interface ProvaGoal

updateMetadataGoal

public void updateMetadataGoal()

Specified by:

updateMetadataGoal in interface ProvaGoal

next

public ProvaRule next()

Specified by:

next in interface ProvaGoal

nextUnification

public ProvaUnification nextUnification(ProvaKnowledgeBase kb)

Specified by:

nextUnification in interface ProvaGoal

getGoal

public ProvaLiteral getGoal()

Specified by:

getGoal in interface ProvaGoal

getQuery

public ProvaRule getQuery()

Specified by:

getQuery in interface ProvaGoal

getPredicate

public ProvaPredicate getPredicate()

setIterator

public void setIterator(java.util.Iterator<ProvaRule> iterator)

getIterator

public java.util.Iterator<ProvaRule> getIterator()

Specified by:

getIterator in interface ProvaGoal

getVariables

public java.util.List<ProvaVariable> getVariables()

setCut

public void setCut(boolean cut)

Specified by:

setCut in interface ProvaGoal

isCut

public boolean isCut()

Specified by:

isCut in interface ProvaGoal

setGoal

public void setGoal(ProvaLiteral goal)

Specified by:

setGoal in interface ProvaGoal

hasNext

public boolean hasNext()

Specified by:

hasNext in interface ProvaGoal

addAnswer

public void addAnswer(ProvaList terms)

Specified by:

addAnswer in interface ProvaGoal

addOuterAnswer

public void addOuterAnswer(ProvaList terms)

Specified by:

addOuterAnswer in interface ProvaGoal

isSingleClause

public boolean isSingleClause()

Specified by:

isSingleClause in interface ProvaGoal

removeTarget

public void removeTarget()

Specified by:

removeTarget in interface ProvaGoal

lookupMetadata

public java.lang.Object lookupMetadata(java.lang.String reference,
                                       java.util.List<ProvaVariable> variables)

Specified by:

lookupMetadata in interface ProvaGoal

setLastMatch

public void setLastMatch(ProvaRule lastMatch)

Specified by:

setLastMatch in interface ProvaGoal

getLastMatch

public ProvaRule getLastMatch()

Specified by:

getLastMatch in interface ProvaGoal

updateGround

public void updateGround()

Specified by:

updateGround in interface ProvaGoal