argutia.logic.resolution
Class Contexte

java.lang.Object
  extended by argutia.logic.resolution.Contexte
public class Contexte
extends Object
Field Summary
 int mC_non_satisfaits
           
 Map<Clause,MaillonClause> mC_values
           
 int mC_vides
           
 Set<MaillonLitteral> mL_dans_clauses_unitaires
          Maillons littéraux présents dans des clauses unitaires à l'état INCONNU.
 Set<MaillonLitteral> mL_purs
           
 Map<Literal,MaillonLitteral> mL_values
           
 
Constructor Summary
Contexte()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Field Detail

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

Contexte

public Contexte()
Argutia JavaDoc
23 décembre 2007