Package

at.logic.gapt.proofs.lk.subsumption

managers

Permalink

package managers

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

Type Members

  1. sealed abstract class SAddRemove extends AnyRef

    Permalink
  2. class SimpleManager extends SubsumptionManager

    Permalink
  3. case class SubsumptionDSEvent(ar: SAddRemove, elem: HOLSequent) extends Product with Serializable

    Permalink
  4. abstract class SubsumptionManager extends AnyRef

    Permalink

Value Members

  1. object SAdd extends SAddRemove with Product with Serializable

    Permalink
  2. object SRemove extends SAddRemove with Product with Serializable

    Permalink

Ungrouped