argutia.logic.resolution
Class MaillonData
java.lang.Object
argutia.logic.resolution.MaillonData
public class MaillonData
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
mC
private MaillonClause mC
mL
private MaillonLitteral mL
nextL
private MaillonData nextL
nextC
private MaillonData nextC
MaillonData
public MaillonData(MaillonLitteral mL,
MaillonClause mC)
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