Class MultipleBaseContractionOperator<T extends Formula>

  • 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
    • Method Summary

      Modifier and Type Method 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

        equals, 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.