argutia.logic
Class Clause

java.lang.Object
  extended by argutia.logic.Clause
All Implemented Interfaces:
Iterable<Literal>
@Immutable
public class Clause
extends Object
implements Iterable<Literal>

Une clause est une disjonction de littéraux.

Field Summary
private CNFNode arbre
           
private Set<Literal> contenu
           
private int hashCode
           
private boolean isContradiction
           
private boolean isTautologie
           
 
Constructor Summary
Clause(CNFNode arbreCNF)
           
 
Method Summary
private void add(CNFNode n)
           
private void add(Literal l)
           
private int calculerHashCode()
           
 boolean equals(Object o)
           
 int hashCode()
           
 boolean isContradiction()
           
 boolean isTautologie()
          La méthode d'ajout, appelée par le constructeur, détecte la présence de deux littéraux opposés au sein de la clause.
 UnmodifiableIterator<Literal> iterator()
           
 int size()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Field Detail

contenu

private final Set<Literal> contenu

hashCode

private final int hashCode

isTautologie

private boolean isTautologie

isContradiction

private boolean isContradiction

arbre

private final CNFNode arbre
Constructor Detail

Clause

public Clause(CNFNode arbreCNF)
Method Detail

add

private void add(Literal l)

add

private void add(CNFNode n)

calculerHashCode

private int calculerHashCode()

equals

public boolean equals(Object o)
Overrides:
equals in class Object

hashCode

public int hashCode()
Overrides:
hashCode in class Object

isContradiction

public boolean isContradiction()
Returns:
true si la clause est la contradiction.

isTautologie

public boolean isTautologie()
La méthode d'ajout, appelée par le constructeur, détecte la présence de deux littéraux opposés au sein de la clause.

Returns:
true si la clause est une tautologie.

size

public int size()

iterator

public UnmodifiableIterator<Literal> iterator()
Specified by:
iterator in interface Iterable<Literal>

toString

public String toString()
Overrides:
toString in class Object
Argutia JavaDoc
23 décembre 2007