at
.
logic
.
gapt
.
provers
.
atp
.
commands
ui
package
ui
Visibility
Public
All
Type Members
case class
getTwoClausesFromUICommand
[
V <:
OccSequent
]
(
ui: (
Seq
[
OccSequent
]) ⇒ (
Int
,
Int
)
)
extends
InitialCommand
[
V
] with
Product
with
Serializable
Value Members
object
PromptTerminal
Ungrouped