public class DefeasibleBeliefSet<M extends DefeasibleMode<M>> extends Object implements JTMSBeliefSet<M>
Constructor and Description |
---|
DefeasibleBeliefSet(BeliefSystem<M> beliefSystem,
InternalFactHandle rootHandle) |
public static final String DEFEATS
public DefeasibleBeliefSet(BeliefSystem<M> beliefSystem, InternalFactHandle rootHandle)
public DefeasibleLogicalDependency getLogicalDependency()
public BeliefSystem<M> getBeliefSystem()
getBeliefSystem
in interface BeliefSet<M extends DefeasibleMode<M>>
public InternalFactHandle getFactHandle()
getFactHandle
in interface BeliefSet<M extends DefeasibleMode<M>>
public M getFirst()
getFirst
in interface BeliefSet<M extends DefeasibleMode<M>>
public DefeasibleMode<M> getLast()
getLast
in interface JTMSBeliefSet<M extends DefeasibleMode<M>>
public InternalFactHandle getPositiveFactHandle()
getPositiveFactHandle
in interface JTMSBeliefSet<M extends DefeasibleMode<M>>
public void setPositiveFactHandle(InternalFactHandle positiveFactHandle)
setPositiveFactHandle
in interface JTMSBeliefSet<M extends DefeasibleMode<M>>
public InternalFactHandle getNegativeFactHandle()
getNegativeFactHandle
in interface JTMSBeliefSet<M extends DefeasibleMode<M>>
public void setNegativeFactHandle(InternalFactHandle negativeFactHandle)
setNegativeFactHandle
in interface JTMSBeliefSet<M extends DefeasibleMode<M>>
public void remove(M node)
remove
in interface BeliefSet<M extends DefeasibleMode<M>>
public void addUndefeated(M dep)
public void removeUndefeated(DefeasibleMode dep)
public M removeFirst()
public M removeLast()
public LinkedListNode getRootUndefeated()
public LinkedListNode getTailUnDefeated()
public boolean isEmpty()
isEmpty
in interface BeliefSet<M extends DefeasibleMode<M>>
public int size()
size
in interface BeliefSet<M extends DefeasibleMode<M>>
public int undefeatdSize()
public void cancel(PropagationContext propagationContext)
BeliefSet
cancel
in interface BeliefSet<M extends DefeasibleMode<M>>
public void clear(PropagationContext propagationContext)
BeliefSet
clear
in interface BeliefSet<M extends DefeasibleMode<M>>
public void setWorkingMemoryAction(WorkingMemoryAction wmAction)
setWorkingMemoryAction
in interface BeliefSet<M extends DefeasibleMode<M>>
public boolean isDefinitelyPosProveable()
public boolean isDefinitelyNegProveable()
public boolean isDefeasiblyPosProveable()
public boolean isDefeasiblyNegProveable()
public boolean isDefeatedlyPosProveable()
public boolean isDefeatedlyNegProveable()
public DefeasibilityStatus getStatus()
public void updateStatus()
public boolean isNegated()
isNegated
in interface BeliefSet<M extends DefeasibleMode<M>>
public boolean isPositive()
isPositive
in interface BeliefSet<M extends DefeasibleMode<M>>
public boolean isConflicting()
isConflicting
in interface BeliefSet<M extends DefeasibleMode<M>>
public boolean isUndecided()
isUndecided
in interface BeliefSet<M extends DefeasibleMode<M>>
public FastIterator iterator()
iterator
in interface BeliefSet<M extends DefeasibleMode<M>>
Copyright © 2001-2015 JBoss by Red Hat. All Rights Reserved.