Package org.tweetyproject.beliefdynamics

Class MultipleBaseContractionOperator<T extends Formula>

java.lang.Object

org.tweetyproject.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 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	Description
MultipleBaseContractionOperator()	Default

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

MultipleBaseContractionOperator

public MultipleBaseContractionOperator()

Default

Method Details

contract

public Collection<T> contract(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 Collection<T> contract(Collection<T> base,
 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.