DefeasibleBeliefSet (Drools :: Core 7.52.0.Final API)

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

Fields
Modifier and Type Field and Description

static String DEFEATS

Fields
Modifier and Type	Field and Description
`static String`	`DEFEATS`

Constructor Summary

Constructors
Constructor and Description

DefeasibleBeliefSet(BeliefSystem<M> beliefSystem, InternalFactHandle rootHandle)

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and 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
`BeliefSystem<M>`	`getBeliefSystem()`
`InternalFactHandle`	`getFactHandle()`
`M`	`getFirst()`
`DefeasibleMode<M>`	`getLast()`
`LinkedListNode`	`getRootUndefeated()`
`DefeasibilityStatus`	`getStatus()`
`LinkedListNode`	`getTailUnDefeated()`
`boolean`	`isConflicting()`
`boolean`	`isDecided()`
`boolean`	`isDefeasiblyNegProveable()`
`boolean`	`isDefeasiblyPosProveable()`
`boolean`	`isDefeatedlyNegProveable()`
`boolean`	`isDefeatedlyPosProveable()`
`boolean`	`isDefinitelyNegProveable()`
`boolean`	`isDefinitelyPosProveable()`
`boolean`	`isEmpty()`
`boolean`	`isNegated()`
`boolean`	`isPositive()`
`FastIterator`	`iterator()`
`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 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 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>>
  - 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 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>>
  - isDecided
```
public boolean isDecided()
```
    Specified by:
    
    isDecided in interface BeliefSet<M extends DefeasibleMode<M>>
  - iterator
```
public FastIterator iterator()
```
    Specified by:
    
    iterator in interface BeliefSet<M extends DefeasibleMode<M>>

Class DefeasibleBeliefSet<M extends DefeasibleMode<M>>

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

DEFEATS

Constructor Detail

DefeasibleBeliefSet

Method Detail

getBeliefSystem

getFactHandle

getFirst

getLast

add

remove

addUndefeated

removeUndefeated

removeFirst

removeLast

getRootUndefeated

getTailUnDefeated

isEmpty

size

undefeatdSize

cancel

clear

setWorkingMemoryAction

isDefinitelyPosProveable

isDefinitelyNegProveable

isDefeasiblyPosProveable

isDefeasiblyNegProveable

isDefeatedlyPosProveable

isDefeatedlyNegProveable

getStatus

updateStatus

isNegated

isPositive

isConflicting

isDecided

iterator