argutia.logic.sets
Interface ISetOfFormulas

All Superinterfaces:
AffichableAvecStyle, Iterable<Formula>, Set<Formula>
All Known Implementing Classes:
MutableSetOfFormulas, SetOfFormulas
public interface ISetOfFormulas
extends Set<Formula>
Method Summary
 boolean contains(Formula f)
           
 boolean contains(ISetOfFormulas e)
           
 CNFNode getCNF()
           
 Formula getFormuleNegation()
           
 Set<? extends ISetOfFormulas> getPowerSet()
           
 SetOfFormulas getUnionDesNegations()
           
 boolean isContradiction()
           
 boolean isTautologie()
           
 ISetOfFormulas toImmutable()
           
 
Methods inherited from interface argutia.logic.sets.Set
iterator, size
 
Methods inherited from interface argutia.gui.batchStyledDocument.AffichableAvecStyle
toStyledString
 
Method Detail

contains

boolean contains(ISetOfFormulas e)

contains

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

getCNF

CNFNode getCNF()

getFormuleNegation

Formula getFormuleNegation()

getPowerSet

Set<? extends ISetOfFormulas> getPowerSet()

isContradiction

boolean isContradiction()

isTautologie

boolean isTautologie()

getUnionDesNegations

SetOfFormulas getUnionDesNegations()

toImmutable

ISetOfFormulas toImmutable()
Specified by:
toImmutable in interface Set<Formula>
Argutia JavaDoc
23 décembre 2007