argutia.logic.resolution
Class Contexte
java.lang.Object
argutia.logic.resolution.Contexte
public class Contexte
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
mC_non_satisfaits
public int mC_non_satisfaits
mC_values
public final Map<Clause,MaillonClause> mC_values
mC_vides
public int mC_vides
mL_dans_clauses_unitaires
public final Set<MaillonLitteral> mL_dans_clauses_unitaires
- Maillons littéraux présents dans des clauses unitaires à l'état INCONNU.
- See Also:
MaillonClause.mL_deja_present_dans_clauses_unitaires
mL_purs
public final Set<MaillonLitteral> mL_purs
mL_values
public final Map<Literal,MaillonLitteral> mL_values
Contexte
public Contexte()
Argutia JavaDoc
23 décembre 2007