argutia.logic.resolution
Class MaillonData

java.lang.Object
  extended by argutia.logic.resolution.MaillonData
public class MaillonData
extends Object
Field Summary
private MaillonClause mC
           
private MaillonLitteral mL
           
private MaillonData nextC
           
private MaillonData nextL
           
 
Constructor Summary
MaillonData(MaillonLitteral mL, MaillonClause mC)
           
 
Method Summary
 void clear(MaillonLitteral mL)
           
 MaillonClause getMC()
           
 MaillonLitteral getML()
           
 MaillonData getNextC()
           
 MaillonData getNextL()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Field Detail

mC

private MaillonClause mC

mL

private MaillonLitteral mL

nextL

private MaillonData nextL

nextC

private MaillonData nextC
Constructor Detail

MaillonData

public MaillonData(MaillonLitteral mL,
                   MaillonClause mC)
Method Detail

clear

public void clear(MaillonLitteral mL)

getMC

public MaillonClause getMC()
Returns:
le maillon clause associé

getML

public MaillonLitteral getML()
Returns:
le maillon littéral associé

getNextC

public MaillonData getNextC()
Returns:
la prochaine occurence du littéral associée au maillon contexte

getNextL

public MaillonData getNextL()
Returns:
le littéral suivant de la clause associée au maillon contexte
Argutia JavaDoc
23 décembre 2007