| Interface | Description |
|---|---|
| IncisionFunction<T extends Formula> |
This interface models an incision function for kernel contraction, ie
a function that incises each of the kernel sets of some set.
|
| Class | Description |
|---|---|
| KernelContractionOperator<T extends Formula> |
This class implements kernel contraction for belief bases [Hansson:2001].
|
| RandomIncisionFunction<T extends Formula> |
This class implements an incision function that just randomly
selects a minimal incision.
|