Package org.drools.tms.beliefsystem.defeasible

Class DefeasibleBeliefSet<M extends DefeasibleMode<M>>

java.lang.Object

org.drools.tms.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

Fields

Modifier and Type	Field	Description
static final String	DEFEATS

Constructor Summary

Constructors

Constructor	Description
DefeasibleBeliefSet(BeliefSystem<M> beliefSystem, InternalFactHandle rootHandle)

Method Summary

Modifier and Type	Method	Description
void	add(M newDep)
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
FastIterator<M>	fastIterator()
BeliefSystem<M>	getBeliefSystem()
InternalFactHandle	getFactHandle()
M	getFirst()
M	getLast()
DoubleLinkedEntry	getRootUndefeated()
DefeasibilityStatus	getStatus()
DoubleLinkedEntry	getTailUnDefeated()
boolean	isConflicting()
boolean	isDecided()
boolean	isDefeasiblyNegProveable()
boolean	isDefeasiblyPosProveable()
boolean	isDefeatedlyNegProveable()
boolean	isDefeatedlyPosProveable()
boolean	isDefinitelyNegProveable()
boolean	isDefinitelyPosProveable()
boolean	isEmpty()
boolean	isNegated()
boolean	isPositive()
void	remove(M dep)
M	removeFirst()
M	removeLast()
void	removeUndefeated(DefeasibleMode dep)
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 Details

DEFEATS

public static final String DEFEATS

Constructor Details

DefeasibleBeliefSet

public DefeasibleBeliefSet(BeliefSystem<M> beliefSystem,
 InternalFactHandle rootHandle)

Method Details

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 M getLast()

Specified by:

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

add

public void add(M newDep)

Specified by:

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

remove

public void remove(M dep)

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 DoubleLinkedEntry getRootUndefeated()

getTailUnDefeated

public DoubleLinkedEntry 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>>

isDecided

public boolean isDecided()

Specified by:

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

fastIterator

public FastIterator<M> fastIterator()

Specified by:

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