argutia.logic.sets
Class MutableSetOfFormulas
java.lang.Object
argutia.logic.sets.MutableSetOfFormulas
- All Implemented Interfaces:
- AffichableAvecStyle, ISetOfFormulas, MutableSet<Formula>, Set<Formula>, Iterable<Formula>
public class MutableSetOfFormulas
- extends Object
- implements ISetOfFormulas, MutableSet<Formula>
contenu
private final Set<Formula> contenu
arbreCNF
private CNFNode arbreCNF
unionDesNegations
private SetOfFormulas unionDesNegations
MutableSetOfFormulas
public MutableSetOfFormulas()
MutableSetOfFormulas
public MutableSetOfFormulas(Iterable<Formula> source)
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