T
- The type of formulas that this operator works on.public class KernelContractionOperator<T extends Formula> extends MultipleBaseContractionOperator<T>
Modifier and Type | Field and Description |
---|---|
private EntailmentRelation<T> |
entailmentRelation
Used to determine kernels.
|
private IncisionFunction<T> |
incisionFunction
The incision function of the kernel contraction.
|
Constructor and Description |
---|
KernelContractionOperator(IncisionFunction<T> incisionFunction,
EntailmentRelation<T> entailmentRelation)
Creates a new kernel contraction operator with the given incision function.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<T> |
contract(java.util.Collection<T> base,
java.util.Collection<T> formulas)
Contracts the first collection of formulas by the second collection of formulas.
|
contract
private IncisionFunction<T extends Formula> incisionFunction
private EntailmentRelation<T extends Formula> entailmentRelation
public KernelContractionOperator(IncisionFunction<T> incisionFunction, EntailmentRelation<T> entailmentRelation)
incisionFunction
- some incision function.entailmentRelation
- an entailment relation used to determine kernels.public java.util.Collection<T> contract(java.util.Collection<T> base, java.util.Collection<T> formulas)
MultipleBaseContractionOperator
contract
in class MultipleBaseContractionOperator<T extends Formula>
base
- some collection of formulas.formulas
- some formulas.