argutia.logic.sets
Class SetOfFormulas
java.lang.Object
argutia.logic.sets.SetOfFormulas
- All Implemented Interfaces:
- AffichableAvecStyle, ISetOfFormulas, Set<Formula>, Iterable<Formula>
@Immutable
public final class SetOfFormulas
- extends Object
- implements ISetOfFormulas
CONTRADICTION
public static final SetOfFormulas CONTRADICTION
TAUTOLOGY
public static final SetOfFormulas TAUTOLOGY
hashCode
private final int hashCode
fNegation
private Formula fNegation
powerSet
private FamilyOfSets powerSet
eF
private final MutableSetOfFormulas eF
SetOfFormulas
public SetOfFormulas(Iterable<Formula> source)
calculerHashCode
private int calculerHashCode()
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>
isConsistant
public boolean isConsistant()
isTautologie
public boolean isTautologie()
- Specified by:
isTautologie
in interface ISetOfFormulas
isContradiction
public boolean isContradiction()
- Specified by:
isContradiction
in interface ISetOfFormulas
getUnionDesNegations
public SetOfFormulas getUnionDesNegations()
- Specified by:
getUnionDesNegations
in interface ISetOfFormulas
getCNF
public CNFNode getCNF()
- Specified by:
getCNF
in interface ISetOfFormulas
toImmutable
public SetOfFormulas toImmutable()
- Specified by:
toImmutable
in interface ISetOfFormulas
- Specified by:
toImmutable
in interface Set<Formula>
getFormuleNegation
public Formula getFormuleNegation()
- Specified by:
getFormuleNegation
in interface ISetOfFormulas
getPowerSet
public FamilyOfSets getPowerSet()
- Specified by:
getPowerSet
in interface ISetOfFormulas
size
public int size()
- Specified by:
size
in interface Set<Formula>
iterator
public UnmodifiableIterator<Formula> iterator()
- Specified by:
iterator
in interface Set<Formula>
- Specified by:
iterator
in interface Iterable<Formula>
equals
public boolean equals(Object o)
- Overrides:
equals
in class Object
hashCode
public int hashCode()
- Overrides:
hashCode
in class Object
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