org.drools.core.beliefsystem.defeasible
Class DefeasibleBeliefSet

java.lang.Object
  org.drools.core.beliefsystem.defeasible.DefeasibleBeliefSet

All Implemented Interfaces:

BeliefSet, JTMSBeliefSet

public class DefeasibleBeliefSet
extends Object
implements JTMSBeliefSet

Field Summary

static String

DEFEATS

Constructor Summary

DefeasibleBeliefSet(BeliefSystem beliefSystem, InternalFactHandle rootHandle)

Method Summary

void	add(LinkedListNode node)
void	addUndefeated(DefeasibleLogicalDependency dep, LinkedListEntry<DefeasibleLogicalDependency> node)
void	cancel(PropagationContext propagationContext) This will remove all entries and do clean up, like retract FHs.
void	clear(PropagationContext propagationContext) This will remove all entries, but not do cleanup, the FH is most likely needed else where
BeliefSystem	getBeliefSystem()
InternalFactHandle	getFactHandle()
LinkedListEntry<DefeasibleLogicalDependency>	getFirst()
LinkedListEntry<DefeasibleLogicalDependency>	getLast()
InternalFactHandle	getNegativeFactHandle()
InternalFactHandle	getPositiveFactHandle()
LinkedListNode	getRootUndefeated()
DefeasibilityStatus	getStatus()
LinkedListNode	getTailUnDefeated()
boolean	isConflicting()
boolean	isDefeasiblyNegProveable()
boolean	isDefeasiblyPosProveable()
boolean	isDefeatedlyNegProveable()
boolean	isDefeatedlyPosProveable()
boolean	isDefinitelyNegProveable()
boolean	isDefinitelyPosProveable()
boolean	isEmpty()
boolean	isNegated()
boolean	isPositive()
boolean	isUndecided()
FastIterator	iterator()
void	remove(LinkedListNode node)
LinkedListNode	removeFirst()
LinkedListNode	removeLast()
void	removeUndefeated(DefeasibleLogicalDependency dep, LinkedListEntry<DefeasibleLogicalDependency> node)
void	setNegativeFactHandle(InternalFactHandle negativeFactHandle)
void	setPositiveFactHandle(InternalFactHandle positiveFactHandle)
void	setWorkingMemoryAction(WorkingMemoryAction wmAction)
int	size()
int	undefeatdSize()
void	updateStatus()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFEATS

public static final String DEFEATS

Constructor Detail

DefeasibleBeliefSet

public DefeasibleBeliefSet(BeliefSystem beliefSystem,
                           InternalFactHandle rootHandle)

Method Detail

getBeliefSystem

public BeliefSystem getBeliefSystem()

Specified by:

getBeliefSystem in interface BeliefSet

getFactHandle

public InternalFactHandle getFactHandle()

Specified by:

getFactHandle in interface BeliefSet

getFirst

public LinkedListEntry<DefeasibleLogicalDependency> getFirst()

Specified by:

getFirst in interface BeliefSet

getLast

public LinkedListEntry<DefeasibleLogicalDependency> getLast()

Specified by:

getLast in interface JTMSBeliefSet

getPositiveFactHandle

public InternalFactHandle getPositiveFactHandle()

Specified by:

getPositiveFactHandle in interface JTMSBeliefSet

setPositiveFactHandle

public void setPositiveFactHandle(InternalFactHandle positiveFactHandle)

Specified by:

setPositiveFactHandle in interface JTMSBeliefSet

getNegativeFactHandle

public InternalFactHandle getNegativeFactHandle()

Specified by:

getNegativeFactHandle in interface JTMSBeliefSet

setNegativeFactHandle

public void setNegativeFactHandle(InternalFactHandle negativeFactHandle)

Specified by:

setNegativeFactHandle in interface JTMSBeliefSet

add

public void add(LinkedListNode node)

Specified by:

add in interface BeliefSet

remove

public void remove(LinkedListNode node)

Specified by:

remove in interface BeliefSet

addUndefeated

public void addUndefeated(DefeasibleLogicalDependency dep,
                          LinkedListEntry<DefeasibleLogicalDependency> node)

removeUndefeated

public void removeUndefeated(DefeasibleLogicalDependency dep,
                             LinkedListEntry<DefeasibleLogicalDependency> node)

removeFirst

public LinkedListNode removeFirst()

removeLast

public LinkedListNode removeLast()

getRootUndefeated

public LinkedListNode getRootUndefeated()

getTailUnDefeated

public LinkedListNode getTailUnDefeated()

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface BeliefSet

size

public int size()

Specified by:

size in interface BeliefSet

undefeatdSize

public int undefeatdSize()

cancel

public void cancel(PropagationContext propagationContext)

Description copied from interface: BeliefSet

This will remove all entries and do clean up, like retract FHs.

Specified by:

cancel in interface BeliefSet

clear

public void clear(PropagationContext propagationContext)

Description copied from interface: BeliefSet

This will remove all entries, but not do cleanup, the FH is most likely needed else where

Specified by:

clear in interface BeliefSet

setWorkingMemoryAction

public void setWorkingMemoryAction(WorkingMemoryAction wmAction)

Specified by:

setWorkingMemoryAction in interface BeliefSet

isDefinitelyPosProveable

public boolean isDefinitelyPosProveable()

isDefinitelyNegProveable

public boolean isDefinitelyNegProveable()

isDefeasiblyPosProveable

public boolean isDefeasiblyPosProveable()

isDefeasiblyNegProveable

public boolean isDefeasiblyNegProveable()

isDefeatedlyPosProveable

public boolean isDefeatedlyPosProveable()

isDefeatedlyNegProveable

public boolean isDefeatedlyNegProveable()

getStatus

public DefeasibilityStatus getStatus()

updateStatus

public void updateStatus()

isNegated

public boolean isNegated()

Specified by:

isNegated in interface BeliefSet

isPositive

public boolean isPositive()

Specified by:

isPositive in interface BeliefSet

isConflicting

public boolean isConflicting()

isUndecided

public boolean isUndecided()

Specified by:

isUndecided in interface BeliefSet

iterator

public FastIterator iterator()

Specified by:

iterator in interface BeliefSet