Package

at.logic.gapt.algorithms

rewriting

Permalink

package rewriting

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. class DefinitionElimination extends Logger

    Permalink

Value Members

  1. object DefinitionElimination extends DefinitionElimination

    Permalink
  2. object NameReplacement

    Permalink

    performs renaming of constants, functions and predicate symbols

  3. object RenameResproof extends Logger

    Permalink

    ***** Term Replacement ********** replaces all occurences of term "what" by term "by" in term "term" -- be careful with replacing variables, there is no scope checking

    ***** Term Replacement ********** replaces all occurences of term "what" by term "by" in term "term" -- be careful with replacing variables, there is no scope checking

    usable on resolution proofs

  4. object TermReplacement extends Logger

    Permalink

    ***** Term Replacement ********** replaces all occurences of term "what" by term "by" in term "term" -- be careful with replacing variables, there is no scope checking

    ***** Term Replacement ********** replaces all occurences of term "what" by term "by" in term "term" -- be careful with replacing variables, there is no scope checking

    usable on subclasses of lambda expressions and fsequents

Ungrouped