Package org.tweetyproject.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
    Description
    Collection<T>
    contract(Collection<T> base, T formula)
    Contracts the given collection of formulas by the given formula.

  • Method Details

    • contract

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