public class DefeasibleLogicalDependency extends SimpleLogicalDependency
Modifier and Type | Field and Description |
---|---|
static String |
DEFEATER |
static String |
DEFEATS |
Constructor and Description |
---|
DefeasibleLogicalDependency(Activation justifier,
Object justified) |
DefeasibleLogicalDependency(Activation justifier,
Object justified,
Object object,
Object value) |
Modifier and Type | Method and Description |
---|---|
void |
addDefeated(DefeasibleLogicalDependency defeated) |
void |
clearDefeated() |
DefeasibleLogicalDependency |
getDefeatedBy() |
String[] |
getDefeats() |
LinkedListEntry<DefeasibleLogicalDependency> |
getRootDefeated() |
DefeasibilityStatus |
getStatus() |
LinkedListEntry<DefeasibleLogicalDependency> |
getTailDefeated() |
boolean |
isDefeater() |
void |
removeDefeated(DefeasibleLogicalDependency defeated) |
DefeasibleLogicalDependency |
removeFirst() |
DefeasibleLogicalDependency |
removeLast() |
void |
setDefeatedBy(DefeasibleLogicalDependency defeatedBy) |
void |
setDefeater(boolean defeater) |
void |
setStatus(DefeasibilityStatus status) |
equals, getJustified, getJustifier, getJustifierEntry, getObject, getValue, hashCode, setValue, toString
getNext, getPrevious, nullPrevNext, setNext, setPrevious
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getPrevious, nullPrevNext, setPrevious
public static final String DEFEATS
public static final String DEFEATER
public DefeasibleLogicalDependency(Activation justifier, Object justified)
public DefeasibleLogicalDependency(Activation justifier, Object justified, Object object, Object value)
public void addDefeated(DefeasibleLogicalDependency defeated)
public void removeDefeated(DefeasibleLogicalDependency defeated)
public DefeasibleLogicalDependency removeFirst()
public DefeasibleLogicalDependency removeLast()
public LinkedListEntry<DefeasibleLogicalDependency> getRootDefeated()
public LinkedListEntry<DefeasibleLogicalDependency> getTailDefeated()
public String[] getDefeats()
public DefeasibleLogicalDependency getDefeatedBy()
public void setDefeatedBy(DefeasibleLogicalDependency defeatedBy)
public DefeasibilityStatus getStatus()
public void setStatus(DefeasibilityStatus status)
public boolean isDefeater()
public void setDefeater(boolean defeater)
public void clearDefeated()
Copyright © 2001-2015 JBoss by Red Hat. All Rights Reserved.