ProvaGoal (prova 3.3.1 API)

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`addAnswer(ProvaList terms)`
`void`	`addOuterAnswer(ProvaList terms)`
`ProvaLiteral`	`getGoal()`
`java.util.Iterator<ProvaRule>`	`getIterator()`
`ProvaRule`	`getLastMatch()`
`ProvaRule`	`getQuery()`
`boolean`	`hasNext()`
`boolean`	`isCut()`
`boolean`	`isSingleClause()`
`java.lang.Object`	`lookupMetadata(java.lang.String variable, java.util.List<ProvaVariable> variables)`
`ProvaRule`	`next()`
`ProvaUnification`	`nextUnification(ProvaKnowledgeBase kb)`
`void`	`removeTarget()`
`void`	`setCut(boolean cut)`
`void`	`setGoal(ProvaLiteral top)`
`void`	`setLastMatch(ProvaRule lastMatch)`
`void`	`update()`
`void`	`updateGround()`
`void`	`updateMetadataGoal()`

ProvaUnification nextUnification(ProvaKnowledgeBase kb)

java.util.Iterator<ProvaRule> getIterator()

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

void setLastMatch(ProvaRule lastMatch)

Interface ProvaGoal