Interface BaseExpansionOperator<T extends Formula>

Type Parameters:
T - The type of formulas that this operator works on.
All Known Implementing Classes:
DefaultBaseExpansionOperator, DefaultMultipleBaseExpansionOperator, MultipleBaseExpansionOperator

public interface BaseExpansionOperator<T extends Formula>
This is the interface for a classic belief base expansion operator, ie. an operator that takes some set of formulas and a single formula and expands the former by the latter.
Author:
Matthias Thimm
  • Method Summary

    Modifier and Type
    Method
    Description
    expand(Collection<T> base, T formula)
    Expands the given collection of formulas by the given formula.
  • Method Details

    • expand

      Collection<T> expand(Collection<T> base, T formula)
      Expands the given collection of formulas by the given formula.
      Parameters:
      base - some collection of formulas.
      formula - a formula
      Returns:
      the expanded collection.