Uses of Interface
net.sf.tweety.commons.InterpretationIterator

Packages that use InterpretationIterator

Package	Description
net.sf.tweety.commons

Uses of InterpretationIterator in net.sf.tweety.commons

Methods in net.sf.tweety.commons that return InterpretationIterator

Modifier and Type	Method and Description
InterpretationIterator<T>	InterpretationIterator.reset() Initializes a new reseted iterator.
InterpretationIterator<T>	InterpretationIterator.reset(Collection<? extends Formula> formulas) Initializes a new reseted iterator for the given signature derived from the given set of formulas.
InterpretationIterator<T>	InterpretationIterator.reset(Signature sig) Initializes a new reseted iterator for the given signature.