net.sf.tweety.beliefdynamics

Class MultipleBaseContractionOperator<T extends Formula>

java.lang.Object

net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator<T>

Type Parameters:

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

All Implemented Interfaces:

BaseContractionOperator<T>

Direct Known Subclasses:

KernelContractionOperator

public abstract class MultipleBaseContractionOperator<T extends Formula>
extends java.lang.Object
implements BaseContractionOperator<T>

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

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
MultipleBaseContractionOperator()

Method Summary

Modifier and Type	Method and Description
abstract 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.
java.util.Collection<T>	contract(java.util.Collection<T> base, T formula) Contracts the given collection of formulas by the given formula.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MultipleBaseContractionOperator

public MultipleBaseContractionOperator()

Method Detail

contract

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

Description copied from interface: BaseContractionOperator

Contracts the given collection of formulas by the given formula.

Specified by:

contract in interface BaseContractionOperator<T extends Formula>

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the contracted collection.

contract

public abstract 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.

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the contracted collection.