public class DefeasibleBeliefSet extends Object implements JTMSBeliefSet
Constructor and Description |
---|
DefeasibleBeliefSet(BeliefSystem beliefSystem,
InternalFactHandle rootHandle) |
public static final String DEFEATS
public DefeasibleBeliefSet(BeliefSystem beliefSystem, InternalFactHandle rootHandle)
public BeliefSystem getBeliefSystem()
getBeliefSystem
in interface BeliefSet
public InternalFactHandle getFactHandle()
getFactHandle
in interface BeliefSet
public LinkedListEntry<DefeasibleLogicalDependency> getFirst()
public LinkedListEntry<DefeasibleLogicalDependency> getLast()
getLast
in interface JTMSBeliefSet
public InternalFactHandle getPositiveFactHandle()
getPositiveFactHandle
in interface JTMSBeliefSet
public void setPositiveFactHandle(InternalFactHandle positiveFactHandle)
setPositiveFactHandle
in interface JTMSBeliefSet
public InternalFactHandle getNegativeFactHandle()
getNegativeFactHandle
in interface JTMSBeliefSet
public void setNegativeFactHandle(InternalFactHandle negativeFactHandle)
setNegativeFactHandle
in interface JTMSBeliefSet
public void add(LinkedListNode node)
public void remove(LinkedListNode node)
public void addUndefeated(DefeasibleLogicalDependency dep, LinkedListEntry<DefeasibleLogicalDependency> node)
public void removeUndefeated(DefeasibleLogicalDependency dep, LinkedListEntry<DefeasibleLogicalDependency> node)
public LinkedListNode removeFirst()
public LinkedListNode removeLast()
public LinkedListNode getRootUndefeated()
public LinkedListNode getTailUnDefeated()
public int undefeatdSize()
public void cancel(PropagationContext propagationContext)
BeliefSet
public void clear(PropagationContext propagationContext)
BeliefSet
public void setWorkingMemoryAction(WorkingMemoryAction wmAction)
setWorkingMemoryAction
in interface BeliefSet
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 JTMSBeliefSet
public boolean isPositive()
isPositive
in interface JTMSBeliefSet
public boolean isConflicting()
public boolean isUndecided()
isUndecided
in interface JTMSBeliefSet
public FastIterator iterator()
Copyright © 2001-2014 JBoss by Red Hat. All Rights Reserved.