argutia.logic.sets
Class FamilyOfSets

java.lang.Object
  extended by argutia.logic.sets.FamilyOfSets
All Implemented Interfaces:
AffichableAvecStyle, IFamilyOfSets, Set<SetOfFormulas>, Iterable<SetOfFormulas>
public final class FamilyOfSets
extends Object
implements IFamilyOfSets
Field Summary
private MutableFamilyOfSets fS
           
 
Constructor Summary
FamilyOfSets(Iterable<SetOfFormulas> source)
           
 
Method Summary
 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

fS

private final MutableFamilyOfSets fS
Constructor Detail

FamilyOfSets

public FamilyOfSets(Iterable<SetOfFormulas> source)
Method Detail

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