argutia.logic
Class Clause
java.lang.Object
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.
contenu
private final Set<Literal> contenu
hashCode
private final int hashCode
isTautologie
private boolean isTautologie
isContradiction
private boolean isContradiction
arbre
private final CNFNode arbre
Clause
public Clause(CNFNode arbreCNF)
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