argutia.logic.sets
Interface IFamilyOfSets

All Superinterfaces:
AffichableAvecStyle, Iterable<SetOfFormulas>, Set<SetOfFormulas>
All Known Implementing Classes:
FamilyOfSets, MutableFamilyOfSets
public interface IFamilyOfSets
extends Set<SetOfFormulas>
Method Summary
 IFamilyOfSets getMinimumsEnsembliste()
           
 IFamilyOfSets toImmutable()
           
 
Methods inherited from interface argutia.logic.sets.Set
contains, iterator, size
 
Methods inherited from interface argutia.gui.batchStyledDocument.AffichableAvecStyle
toStyledString
 
Method Detail

getMinimumsEnsembliste

IFamilyOfSets getMinimumsEnsembliste()

toImmutable

IFamilyOfSets toImmutable()
Specified by:
toImmutable in interface Set<SetOfFormulas>
Argutia JavaDoc
23 décembre 2007