argutia.logic.sets
Class MutableFamilyOfSets
java.lang.Object
argutia.logic.sets.MutableFamilyOfSets
- All Implemented Interfaces:
- AffichableAvecStyle, IFamilyOfSets, MutableSet<SetOfFormulas>, Set<SetOfFormulas>, Iterable<SetOfFormulas>
public class MutableFamilyOfSets
- extends Object
- implements IFamilyOfSets, MutableSet<SetOfFormulas>
contenu
private final Set<SetOfFormulas> contenu
MutableFamilyOfSets
public MutableFamilyOfSets()
MutableFamilyOfSets
public MutableFamilyOfSets(Iterable<SetOfFormulas> source)
contains
public boolean contains(SetOfFormulas e)
- Specified by:
contains
in interface Set<SetOfFormulas>
add
public boolean add(SetOfFormulas e)
- Specified by:
add
in interface MutableSet<SetOfFormulas>
add
public void add(IFamilyOfSets fS)
iterator
public UnmodifiableIterator<SetOfFormulas> iterator()
- Specified by:
iterator
in interface Set<SetOfFormulas>
- Specified by:
iterator
in interface Iterable<SetOfFormulas>
size
public int size()
- Specified by:
size
in interface Set<SetOfFormulas>
getMinimumsEnsembliste
public FamilyOfSets getMinimumsEnsembliste()
- Specified by:
getMinimumsEnsembliste
in interface IFamilyOfSets
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
toImmutable
public final FamilyOfSets toImmutable()
- Specified by:
toImmutable
in interface IFamilyOfSets
- Specified by:
toImmutable
in interface Set<SetOfFormulas>
Argutia JavaDoc
23 décembre 2007