argutia.logic
Class Formula
java.lang.Object
argutia.logic.Formula
- All Implemented Interfaces:
- AffichableAvecStyle, Iterable<Clause>
@Immutable
public class Formula
- extends Object
- implements Iterable<Clause>, AffichableAvecStyle
L'ensemble des formules (ou formules bien formées) de la logique propositionnelle
est le plus petit ensemble de mots construits sur l'alphabet tel que :
- si
A
est une formule atomique, alors A
est une formule,
- si
A
est une formule, alors ¬A
est une formule,
- et si
A
et B
sont des formules,
alors A
∨ B
, A
∧ B
, A
⇒ B
et A
⇔ B
sont des formules.
- Author:
- Geoffroy AUBRY
representation
private String representation
arbreBrut
private final Node arbreBrut
arbreCNF
private final CNFNode arbreCNF
contenu
private final Set<Clause> contenu
hashCode
private final int hashCode
isTautologie
private boolean isTautologie
isContradiction
private boolean isContradiction
negation
private Formula negation
singleton
private SetOfFormulas singleton
Formula
private Formula(Node arbre,
Formula negation)
Formula
public Formula(Node arbre)
extraireClausesDistinctes
private void extraireClausesDistinctes(CNFNode arbre)
add
private void add(Clause c)
isTautologie
public boolean isTautologie()
isContradiction
public boolean isContradiction()
getNegation
public Formula getNegation()
getSingleton
public SetOfFormulas getSingleton()
iterator
public UnmodifiableIterator<Clause> iterator()
- Specified by:
iterator
in interface Iterable<Clause>
size
public int size()
getCNF
public CNFNode getCNF()
calculerHashCode
private int calculerHashCode()
hashCode
public int hashCode()
- Overrides:
hashCode
in class Object
equals
public boolean equals(Object o)
- Overrides:
equals
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