Package org.tweetyproject.arg.deductive.util

Class RandomDeductiveKnowledgeBaseGenerator

java.lang.Object

org.tweetyproject.arg.deductive.util.RandomDeductiveKnowledgeBaseGenerator

All Implemented Interfaces:

Iterator<DeductiveKnowledgeBase>, BeliefSetIterator<PlFormula,DeductiveKnowledgeBase>

public class RandomDeductiveKnowledgeBaseGenerator
extends Object
implements BeliefSetIterator<PlFormula,DeductiveKnowledgeBase>

Generates random Deductive Knowledge Bases. Will only generate binary formulas.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
RandomDeductiveKnowledgeBaseGenerator(int numberOfAtoms, int numberOfFacts, int numberOfFormulas)	Creates a random Deductive Knowledge Base Generator

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()	Description missing
DeductiveKnowledgeBase	next()	Description missing

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Details

RandomDeductiveKnowledgeBaseGenerator

public RandomDeductiveKnowledgeBaseGenerator(int numberOfAtoms,
 int numberOfFacts,
 int numberOfFormulas)

Creates a random Deductive Knowledge Base Generator

Parameters:

numberOfAtoms - the number of atoms

numberOfFacts - the number of facts to generate

numberOfFormulas - the number of binary formulas to generate

Method Details

hasNext

public boolean hasNext()

Description missing

Specified by:

hasNext in interface BeliefSetIterator<PlFormula,DeductiveKnowledgeBase>

Specified by:

hasNext in interface Iterator<DeductiveKnowledgeBase>

next

public DeductiveKnowledgeBase next()

Description missing

Specified by:

next in interface BeliefSetIterator<PlFormula,DeductiveKnowledgeBase>

Specified by:

next in interface Iterator<DeductiveKnowledgeBase>