argutia.logic.sets
Class MutableFamilyOfSets

java.lang.Object
  extended by argutia.logic.sets.MutableFamilyOfSets
All Implemented Interfaces:
AffichableAvecStyle, IFamilyOfSets, MutableSet<SetOfFormulas>, Set<SetOfFormulas>, Iterable<SetOfFormulas>
public class MutableFamilyOfSets
extends Object
implements IFamilyOfSets, MutableSet<SetOfFormulas>
Field Summary
private Set<SetOfFormulas> contenu
           
 
Constructor Summary
MutableFamilyOfSets()
           
MutableFamilyOfSets(Iterable<SetOfFormulas> source)
           
 
Method Summary
 void add(IFamilyOfSets fS)
           
 boolean add(SetOfFormulas e)
           
 boolean contains(SetOfFormulas e)
           
 FamilyOfSets getMinimumsEnsembliste()
           
 UnmodifiableIterator<SetOfFormulas> iterator()
           
 int size()
           
 FamilyOfSets toImmutable()
           
 String toString()
           
 void toStyledString(BatchStyledDocument doc)
          Ajoute du texte mis en forme au BatchedContent passé en paramètre.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Field Detail

contenu

private final Set<SetOfFormulas> contenu
Constructor Detail

MutableFamilyOfSets

public MutableFamilyOfSets()

MutableFamilyOfSets

public MutableFamilyOfSets(Iterable<SetOfFormulas> source)
Method Detail

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