net.sf.tweety.beliefdynamics

Interface BaseContractionOperator<T extends Formula>

Type Parameters:

T - The type of formulas that this operator works on.

All Known Implementing Classes:

KernelContractionOperator, MultipleBaseContractionOperator, RandomKernelContractionOperator

public interface BaseContractionOperator<T extends Formula>

This is the interface for a classic belief base contraction operator, ie. an operator that takes some set of formulas and a single formula and contracts the former by the latter.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
java.util.Collection<T>	contract(java.util.Collection<T> base, T formula) Contracts the given collection of formulas by the given formula.

Method Detail

contract

java.util.Collection<T> contract(java.util.Collection<T> base,
                                 T formula)

Contracts the given collection of formulas by the given formula.

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the contracted collection.