argutia.logic
Class Formula

java.lang.Object
  extended by 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 :

Author:
Geoffroy AUBRY
Field Summary
private Node arbreBrut
           
private CNFNode arbreCNF
           
private Set<Clause> contenu
           
private int hashCode
           
private boolean isContradiction
           
private boolean isTautologie
           
private Formula negation
           
private String representation
           
private SetOfFormulas singleton
           
 
Constructor Summary
  Formula(Node arbre)
           
private Formula(Node arbre, Formula negation)
           
 
Method Summary
private void add(Clause c)
           
private int calculerHashCode()
           
 boolean equals(Object o)
           
private void extraireClausesDistinctes(CNFNode arbre)
           
 CNFNode getCNF()
           
 Formula getNegation()
           
 SetOfFormulas getSingleton()
           
 int hashCode()
           
 boolean isContradiction()
           
 boolean isTautologie()
           
 UnmodifiableIterator<Clause> iterator()
           
 int size()
           
 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

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

Formula

private Formula(Node arbre,
                Formula negation)

Formula

public Formula(Node arbre)
Method Detail

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