at
.
logic
.
gapt
.
provers
.
atp
.
commands
.
refinements
base
package
base
Visibility
Public
All
Type Members
abstract
class
Refinement
[
V <:
OccSequent
]
extends
AnyRef
case class
SequentsMacroCommand
[
V <:
OccSequent
]
(
init:
InitialCommand
[
V
]
,
datas:
Iterable
[
DataCommand
[
V
]]
,
result:
ResultCommand
[
V
]
)
extends
DeterministicMacroCommand
[
V
] with
Product
with
Serializable
Value Members
object
RefinementID
Ungrouped