Package

at.logic.gapt.provers.atp.commands

sequents

Permalink

package sequents

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

Type Members

  1. case class ApplyOnAllPolarizedLiteralPairsCommand[V <: OccSequent]() extends DataCommand[V] with Logger with Product with Serializable

    Permalink
  2. case class IfNotExistCommand[V <: OccSequent]() extends DataCommand[V] with Product with Serializable

    Permalink
  3. case class InsertResolventCommand[V <: OccSequent]() extends DataCommand[V] with Product with Serializable

    Permalink
  4. case class RefutationReachedCommand[V <: OccSequent]() extends ResultCommand[V] with Logger with Product with Serializable

    Permalink
  5. case class SearchForEmptyClauseCommand[V <: OccSequent]() extends ResultCommand[V] with Product with Serializable

    Permalink
  6. abstract class SetSequentsCommand[V <: OccSequent] extends DataCommand[V]

    Permalink
  7. case class SetTargetClause[V <: OccSequent](clause: HOLSequent) extends DataCommand[V] with Logger with Product with Serializable

    Permalink
  8. case class SimpleBackwardSubsumptionCommand[V <: OccSequent](a: SubsumptionAlgorithm) extends SimpleSubsumptionCommand[V] with Logger with Product with Serializable

    Permalink
  9. case class SimpleForwardSubsumptionCommand[V <: OccSequent](a: SubsumptionAlgorithm) extends SimpleSubsumptionCommand[V] with Logger with Product with Serializable

    Permalink
  10. abstract class SimpleSubsumptionCommand[V <: OccSequent] extends DataCommand[V]

    Permalink
  11. case class SubsumedTargedReachedCommand[V <: OccSequent]() extends ResultCommand[V] with Product with Serializable

    Permalink
  12. case class SubsumedTargedSetFromClauseSetCommand[V <: OccSequent]() extends ResultCommand[V] with Product with Serializable

    Permalink

Ungrouped