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 Details

    • MultipleBaseContractionOperator

      public MultipleBaseContractionOperator()

  • 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.