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>
-
-
Constructor Summary
Constructors Constructor Description DefeasibleBeliefSet(BeliefSystem<M> beliefSystem, InternalFactHandle rootHandle)
-
Method Summary
-
-
-
Field Detail
-
DEFEATS
public static final String DEFEATS
-
-
Constructor Detail
-
DefeasibleBeliefSet
public DefeasibleBeliefSet(BeliefSystem<M> beliefSystem, InternalFactHandle rootHandle)
-
-
Method Detail
-
getBeliefSystem
public BeliefSystem<M> getBeliefSystem()
- Specified by:
getBeliefSystem
in interfaceBeliefSet<M extends DefeasibleMode<M>>
-
getFactHandle
public InternalFactHandle getFactHandle()
- Specified by:
getFactHandle
in interfaceBeliefSet<M extends DefeasibleMode<M>>
-
getFirst
public M getFirst()
- Specified by:
getFirst
in interfaceBeliefSet<M extends DefeasibleMode<M>>
-
getLast
public DefeasibleMode<M> getLast()
- Specified by:
getLast
in interfaceJTMSBeliefSet<M extends DefeasibleMode<M>>
-
add
public void add(M newDep)
- Specified by:
add
in interfaceBeliefSet<M extends DefeasibleMode<M>>
-
remove
public void remove(M dep)
- Specified by:
remove
in interfaceBeliefSet<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 interfaceBeliefSet<M extends DefeasibleMode<M>>
-
size
public int size()
- Specified by:
size
in interfaceBeliefSet<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 interfaceBeliefSet<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 interfaceBeliefSet<M extends DefeasibleMode<M>>
-
setWorkingMemoryAction
public void setWorkingMemoryAction(WorkingMemoryAction wmAction)
- Specified by:
setWorkingMemoryAction
in interfaceBeliefSet<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 interfaceBeliefSet<M extends DefeasibleMode<M>>
-
isPositive
public boolean isPositive()
- Specified by:
isPositive
in interfaceBeliefSet<M extends DefeasibleMode<M>>
-
isConflicting
public boolean isConflicting()
- Specified by:
isConflicting
in interfaceBeliefSet<M extends DefeasibleMode<M>>
-
isDecided
public boolean isDecided()
- Specified by:
isDecided
in interfaceBeliefSet<M extends DefeasibleMode<M>>
-
iterator
public FastIterator iterator()
- Specified by:
iterator
in interfaceBeliefSet<M extends DefeasibleMode<M>>
-
-