argutia.logic.sets
Class MutableSetOfFormulas

java.lang.Object
  extended by argutia.logic.sets.MutableSetOfFormulas
All Implemented Interfaces:
AffichableAvecStyle, ISetOfFormulas, MutableSet<Formula>, Set<Formula>, Iterable<Formula>
public class MutableSetOfFormulas
extends Object
implements ISetOfFormulas, MutableSet<Formula>
Field Summary
private CNFNode arbreCNF
           
private Set<Formula> contenu
           
private SetOfFormulas unionDesNegations
           
 
Constructor Summary
MutableSetOfFormulas()
           
MutableSetOfFormulas(Iterable<Formula> source)
           
 
Method Summary
 boolean add(Formula f)
           
 void add(ISetOfFormulas eF)
           
 boolean contains(Formula f)
           
 boolean contains(ISetOfFormulas E)
           
 boolean equals(Object o)
           
 CNFNode getCNF()
           
 Formula getFormuleNegation()
           
 FamilyOfSets getPowerSet()
           
 SetOfFormulas getUnionDesNegations()
           
 boolean isContradiction()
           
 boolean isTautologie()
           
 UnmodifiableIterator<Formula> iterator()
           
 int size()
           
 SetOfFormulas 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, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Field Detail

contenu

private final Set<Formula> contenu

arbreCNF

private CNFNode arbreCNF

unionDesNegations

private SetOfFormulas unionDesNegations
Constructor Detail

MutableSetOfFormulas

public MutableSetOfFormulas()

MutableSetOfFormulas

public MutableSetOfFormulas(Iterable<Formula> source)
Method Detail

getFormuleNegation

public Formula getFormuleNegation()
Specified by:
getFormuleNegation in interface ISetOfFormulas

getUnionDesNegations

public SetOfFormulas getUnionDesNegations()
Specified by:
getUnionDesNegations in interface ISetOfFormulas

getPowerSet

public FamilyOfSets getPowerSet()
Specified by:
getPowerSet in interface ISetOfFormulas

equals

public boolean equals(Object o)
Overrides:
equals in class Object

add

public boolean add(Formula f)
Specified by:
add in interface MutableSet<Formula>

add

public void add(ISetOfFormulas eF)

contains

public boolean contains(ISetOfFormulas E)
Specified by:
contains in interface ISetOfFormulas

contains

public boolean contains(Formula f)
Specified by:
contains in interface ISetOfFormulas
Specified by:
contains in interface Set<Formula>

isTautologie

public boolean isTautologie()
Specified by:
isTautologie in interface ISetOfFormulas

isContradiction

public boolean isContradiction()
Specified by:
isContradiction in interface ISetOfFormulas

toImmutable

public final SetOfFormulas toImmutable()
Specified by:
toImmutable in interface ISetOfFormulas
Specified by:
toImmutable in interface Set<Formula>

getCNF

public CNFNode getCNF()
Specified by:
getCNF in interface ISetOfFormulas

iterator

public UnmodifiableIterator<Formula> iterator()
Specified by:
iterator in interface Set<Formula>
Specified by:
iterator in interface Iterable<Formula>

size

public int size()
Specified by:
size in interface Set<Formula>

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