org.drools.core.beliefsystem.defeasible
Class DefeasibleBeliefSet

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

All Implemented Interfaces:

BeliefSet

public class DefeasibleBeliefSet
extends Object
implements BeliefSet

Field Summary

static String

DEFEATS

Constructor Summary

DefeasibleBeliefSet(BeliefSystem beliefSystem, InternalFactHandle rootHandle)

Method Summary

void	add(LinkedListNode node)
void	addUndefeated(DefeasibleLogicalDependency 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	getBeliefSystem()
InternalFactHandle	getFactHandle()
LinkedListNode	getFirst()
InternalFactHandle	getNegativeFactHandle()
InternalFactHandle	getPositiveFactHandle()
DefeasibleLogicalDependency	getRootUndefeated()
DefeasibilityStatus	getStatus()
DefeasibleLogicalDependency	getTailUnDefeated()
boolean	isConflicting()
boolean	isDefeasiblyNegProveable()
boolean	isDefeasiblyPosProveable()
boolean	isDefeatedlyNegProveable()
boolean	isDefeatedlyPosProveable()
boolean	isDefinitelyNegProveable()
boolean	isDefinitelyPosProveable()
boolean	isEmpty()
boolean	isNegated()
boolean	isPositive()
FastIterator	iterator()
void	remove(LinkedListNode node)
DefeasibleLogicalDependency	removeFirst()
DefeasibleLogicalDependency	removeLast()
void	removeUndefeated(DefeasibleLogicalDependency dep)
void	setNegativeFactHandle(InternalFactHandle negativeFactHandle)
void	setPositiveFactHandle(InternalFactHandle positiveFactHandle)
void	setWorkingMemoryAction(WorkingMemoryAction wmAction)
int	size()

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 LinkedListNode getFirst()

Specified by:

getFirst in interface BeliefSet

getPositiveFactHandle

public InternalFactHandle getPositiveFactHandle()

setPositiveFactHandle

public void setPositiveFactHandle(InternalFactHandle positiveFactHandle)

getNegativeFactHandle

public InternalFactHandle getNegativeFactHandle()

setNegativeFactHandle

public void setNegativeFactHandle(InternalFactHandle negativeFactHandle)

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)

removeUndefeated

public void removeUndefeated(DefeasibleLogicalDependency dep)

removeFirst

public DefeasibleLogicalDependency removeFirst()

removeLast

public DefeasibleLogicalDependency removeLast()

getRootUndefeated

public DefeasibleLogicalDependency getRootUndefeated()

getTailUnDefeated

public DefeasibleLogicalDependency getTailUnDefeated()

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface BeliefSet

size

public int size()

Specified by:

size in interface BeliefSet

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

isNegated

public boolean isNegated()

isPositive

public boolean isPositive()

isConflicting

public boolean isConflicting()

iterator

public FastIterator iterator()

Specified by:

iterator in interface BeliefSet