Package

at.logic.gapt.provers.atp.commands

ui

Permalink

package ui

Visibility
  1. Public
  2. All

Type Members

  1. case class getTwoClausesFromUICommand[V <: OccSequent](ui: (Seq[OccSequent]) ⇒ (Int, Int)) extends InitialCommand[V] with Product with Serializable

    Permalink

Value Members

  1. object PromptTerminal

    Permalink

Ungrouped