Package

at.logic.gapt.provers.atp.commands

replay

Permalink

package replay

Visibility
  1. Public
  2. All

Type Members

  1. case class OldReplayCommand(parentIds: Iterable[String], id: String, cls: HOLSequent) extends DataCommand[OccClause] with Product with Serializable

    Permalink
  2. case class ReplayCommand(parentIds: Iterable[String], id: String, cls: HOLSequent) extends DataCommand[OccClause] with Logger with Product with Serializable

    Permalink
  3. case class SetClauseWithProofCommand(clauses: Iterable[ResolutionProof[OccClause]]) extends DataCommand[OccClause] with Logger with Product with Serializable

    Permalink
  4. case class SetTargetClause2[V <: OccSequent](clause: OccClause) extends DataCommand[V] with Product with Serializable

    Permalink

Value Members

  1. object PrintStateCommand extends DataCommand[OccClause] with Logger with Product with Serializable

    Permalink

Ungrouped