at
.
logic
.
gapt
.
provers
.
atp
.
commands
replay
package
replay
Visibility
Public
All
Type Members
case class
OldReplayCommand
(
parentIds:
Iterable
[
String
]
,
id:
String
,
cls:
HOLSequent
)
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
case class
ReplayCommand
(
parentIds:
Iterable
[
String
]
,
id:
String
,
cls:
HOLSequent
)
extends
DataCommand
[
OccClause
] with
Logger
with
Product
with
Serializable
case class
SetClauseWithProofCommand
(
clauses:
Iterable
[
ResolutionProof
[
OccClause
]]
)
extends
DataCommand
[
OccClause
] with
Logger
with
Product
with
Serializable
case class
SetTargetClause2
[
V <:
OccSequent
]
(
clause:
OccClause
)
extends
DataCommand
[
V
] with
Product
with
Serializable
Value Members
object
PrintStateCommand
extends
DataCommand
[
OccClause
] with
Logger
with
Product
with
Serializable
Ungrouped