argutia.logic.sets
Class SetOfFormulas

java.lang.Object
  extended by argutia.logic.sets.SetOfFormulas
All Implemented Interfaces:
AffichableAvecStyle, ISetOfFormulas, Set<Formula>, Iterable<Formula>
@Immutable
public final class SetOfFormulas
extends Object
implements ISetOfFormulas
Field Summary
static SetOfFormulas CONTRADICTION
           
private MutableSetOfFormulas eF
           
private Formula fNegation
           
private int hashCode
           
private FamilyOfSets powerSet
           
static SetOfFormulas TAUTOLOGY
           
 
Constructor Summary
SetOfFormulas(Iterable<Formula> source)
           
 
Method Summary
private int calculerHashCode()
           
 boolean contains(Formula f)
           
 boolean contains(ISetOfFormulas e)
           
 boolean equals(Object o)
           
 CNFNode getCNF()
           
 Formula getFormuleNegation()
           
 FamilyOfSets getPowerSet()
           
 SetOfFormulas getUnionDesNegations()
           
 int hashCode()
           
 boolean isConsistant()
           
 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, notify, notifyAll, wait, wait, wait
 
Field Detail

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
Constructor Detail

SetOfFormulas

public SetOfFormulas(Iterable<Formula> source)
Method Detail

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