Packages

package lk

Source
package.scala
Linear Supertypes
AnyRef, Any
Content Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. lk
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Package Members

  1. package reductions
  2. package rules
  3. package transformations
  4. package util

Type Members

  1. case class Attributes(attrs: Map[String, Set[String]]) extends Product with Serializable
  2. abstract class LKProof extends SequentProof[Formula, LKProof]
  3. class LKProofReplacer extends AnyRef
  4. class LKProofSubstitutable extends Substitutable[Substitution, LKProof, LKProof]

    Class that describes how LKProofs can be substituted.

  5. class LKRuleCreationException extends Exception
  6. trait LKVisitor[T] extends AnyRef

    Implementation of the visitor pattern for gapt.proofs.lk.LKProof.

    Implementation of the visitor pattern for gapt.proofs.lk.LKProof. Proof transformations can implement this trait to reduce boilerplate code.

    T

    Type of additional arguments that may be used in the transformation.

Value Members

  1. object Attributes extends Serializable
  2. implicit object LKProofSubstitutableDefault extends LKProofSubstitutable
  3. implicit object lkProofReplaceable extends ClosedUnderReplacement[LKProof]
  4. object normalizeLKt extends normalize

Inherited from AnyRef

Inherited from Any

Ungrouped