org.drools.core.beliefsystem.defeasible
Class DefeasibleBeliefSet<M extends DefeasibleMode<M>>

java.lang.Object
  org.drools.core.beliefsystem.defeasible.DefeasibleBeliefSet<M>

All Implemented Interfaces:

BeliefSet<M>, JTMSBeliefSet<M>

public class DefeasibleBeliefSet<M extends DefeasibleMode<M>>
extends Object
implements JTMSBeliefSet<M>

Field Summary

static String

DEFEATS

Constructor Summary

DefeasibleBeliefSet(BeliefSystem<M> beliefSystem, InternalFactHandle rootHandle)

Method Summary

void	add(M node)
void	addUndefeated(M dep)
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<M>	getBeliefSystem()
InternalFactHandle	getFactHandle()
M	getFirst()
DefeasibleMode<M>	getLast()
DefeasibleLogicalDependency	getLogicalDependency()
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(M node)
M	removeFirst()
M	removeLast()
void	removeUndefeated(DefeasibleMode dep)
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<M> beliefSystem,
                           InternalFactHandle rootHandle)

Method Detail

getLogicalDependency

public DefeasibleLogicalDependency getLogicalDependency()

getBeliefSystem

public BeliefSystem<M> getBeliefSystem()

Specified by:

getBeliefSystem in interface BeliefSet<M extends DefeasibleMode<M>>

getFactHandle

public InternalFactHandle getFactHandle()

Specified by:

getFactHandle in interface BeliefSet<M extends DefeasibleMode<M>>

getFirst

public M getFirst()

Specified by:

getFirst in interface BeliefSet<M extends DefeasibleMode<M>>

getLast

public DefeasibleMode<M> getLast()

Specified by:

getLast in interface JTMSBeliefSet<M extends DefeasibleMode<M>>

getPositiveFactHandle

public InternalFactHandle getPositiveFactHandle()

Specified by:

getPositiveFactHandle in interface JTMSBeliefSet<M extends DefeasibleMode<M>>

setPositiveFactHandle

public void setPositiveFactHandle(InternalFactHandle positiveFactHandle)

Specified by:

setPositiveFactHandle in interface JTMSBeliefSet<M extends DefeasibleMode<M>>

getNegativeFactHandle

public InternalFactHandle getNegativeFactHandle()

Specified by:

getNegativeFactHandle in interface JTMSBeliefSet<M extends DefeasibleMode<M>>

setNegativeFactHandle

public void setNegativeFactHandle(InternalFactHandle negativeFactHandle)

Specified by:

setNegativeFactHandle in interface JTMSBeliefSet<M extends DefeasibleMode<M>>

add

public void add(M node)

Specified by:

add in interface BeliefSet<M extends DefeasibleMode<M>>

remove

public void remove(M node)

Specified by:

remove in interface BeliefSet<M extends DefeasibleMode<M>>

addUndefeated

public void addUndefeated(M dep)

removeUndefeated

public void removeUndefeated(DefeasibleMode dep)

removeFirst

public M removeFirst()

removeLast

public M removeLast()

getRootUndefeated

public LinkedListNode getRootUndefeated()

getTailUnDefeated

public LinkedListNode getTailUnDefeated()

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface BeliefSet<M extends DefeasibleMode<M>>

size

public int size()

Specified by:

size in interface BeliefSet<M extends DefeasibleMode<M>>

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<M extends DefeasibleMode<M>>

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<M extends DefeasibleMode<M>>

setWorkingMemoryAction

public void setWorkingMemoryAction(WorkingMemoryAction wmAction)

Specified by:

setWorkingMemoryAction in interface BeliefSet<M extends DefeasibleMode<M>>

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<M extends DefeasibleMode<M>>

isPositive

public boolean isPositive()

Specified by:

isPositive in interface BeliefSet<M extends DefeasibleMode<M>>

isConflicting

public boolean isConflicting()

Specified by:

isConflicting in interface BeliefSet<M extends DefeasibleMode<M>>

isUndecided

public boolean isUndecided()

Specified by:

isUndecided in interface BeliefSet<M extends DefeasibleMode<M>>

iterator

public FastIterator iterator()

Specified by:

iterator in interface BeliefSet<M extends DefeasibleMode<M>>