Package

at.logic.gapt.grammars

deltatableOld

Permalink

package deltatableOld

Visibility
  1. Public
  2. All

Type Members

  1. class DeltaTable extends AnyRef

    Permalink

    A generalized delta table whose rows contains the results of Delta_G(...) instead of Delta(...).

    A generalized delta table whose rows contains the results of Delta_G(...) instead of Delta(...).

    A generalized delta table contains decompositions for subsets of a termset and one can extract grammars from it by simply iterating through its rows.

    For details, see "Algorithmic Introduction of Quantified Cuts (Hetzl et al 2013)"

  2. class DeltaTableException extends Exception

    Permalink
  3. case class DeltaTableMethodOld(manyQuantifiers: Boolean) extends GrammarFindingMethod with Product with Serializable

    Permalink
  4. trait DeltaVector extends AnyRef

    Permalink

    Represents the vector Delta(t_1,...,t_n), i.e.

    Represents the vector Delta(t_1,...,t_n), i.e. one row of the Delta-table (for details, see gapt/doc/deltavector.tex, Chapter "Generalized Delta-Vector").

    A delta-vector computes the common structure and the differences between the terms of a termset. This is realized by returning a set of tuples (u,S), where u is a term containing the parts common to all supplied terms. It contains numbered eigenvariables where the terms diverged. S is a list of lists (one list for each introduced eigenvariable), which contains the lists of different terms which must be substituted for the eigenvariables to get the original termset.

    Each member of the returned set is a valid decomposition, though, depending on the kind of delta vector, this set may contain 0, 1, or many elements.

Value Members

  1. object ComputeGrammars

    Permalink

    Takes a set of terms and, using DeltaG, computes the set of smallest grammars that generate it.

  2. object Deltas

    Permalink

    Contains the implementations for the various delta-vectors.

Ungrouped