argutia.logic.sets
Class FamilyOfSets
java.lang.Object
argutia.logic.sets.FamilyOfSets
- All Implemented Interfaces:
- AffichableAvecStyle, IFamilyOfSets, Set<SetOfFormulas>, Iterable<SetOfFormulas>
public final class FamilyOfSets
- extends Object
- implements IFamilyOfSets
fS
private final MutableFamilyOfSets fS
FamilyOfSets
public FamilyOfSets(Iterable<SetOfFormulas> source)
toImmutable
public FamilyOfSets toImmutable()
- Specified by:
toImmutable
in interface IFamilyOfSets
- Specified by:
toImmutable
in interface Set<SetOfFormulas>
getMinimumsEnsembliste
public FamilyOfSets getMinimumsEnsembliste()
- Specified by:
getMinimumsEnsembliste
in interface IFamilyOfSets
size
public int size()
- Specified by:
size
in interface Set<SetOfFormulas>
contains
public boolean contains(SetOfFormulas e)
- Specified by:
contains
in interface Set<SetOfFormulas>
iterator
public UnmodifiableIterator<SetOfFormulas> iterator()
- Specified by:
iterator
in interface Set<SetOfFormulas>
- Specified by:
iterator
in interface Iterable<SetOfFormulas>
toString
public String toString()
- Overrides:
toString
in class Object
toStyledString
public void toStyledString(BatchStyledDocument doc)
- Description copied from interface:
AffichableAvecStyle
- Ajoute du texte mis en forme au
BatchedContent
passé en paramètre.
- Specified by:
toStyledString
in interface AffichableAvecStyle
- See Also:
MyStyles
Argutia JavaDoc
23 décembre 2007