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 Description InterpretationIterator<S,B,T>InterpretationIterator. reset()Initializes a new reseted iterator.InterpretationIterator<S,B,T>InterpretationIterator. reset(Collection<? extends Formula> formulas)Initializes a new reseted iterator for the given signature derived from the given set of formulas.InterpretationIterator<S,B,T>InterpretationIterator. reset(Signature sig)Initializes a new reseted iterator for the given signature.
-