argutia.logic.sets
Interface ISetOfFormulas
- All Superinterfaces:
- AffichableAvecStyle, Iterable<Formula>, Set<Formula>
- All Known Implementing Classes:
- MutableSetOfFormulas, SetOfFormulas
public interface ISetOfFormulas
- extends Set<Formula>
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