at
.
logic
.
gapt
.
proofs
.
lk
.
subsumption
managers
package
managers
Content Hierarchy
Learn more about scaladoc diagrams
SubsumptionManager
SimpleManager
SRemove
SAdd
SAddRemove
Visibility
Public
All
Type Members
sealed abstract
class
SAddRemove
extends
AnyRef
class
SimpleManager
extends
SubsumptionManager
case class
SubsumptionDSEvent
(
ar:
SAddRemove
,
elem:
HOLSequent
)
extends
Product
with
Serializable
abstract
class
SubsumptionManager
extends
AnyRef
Value Members
object
SAdd
extends
SAddRemove
with
Product
with
Serializable
object
SRemove
extends
SAddRemove
with
Product
with
Serializable
Ungrouped