at
.
logic
.
gapt
.
provers
.
atp
.
commands
logical
package
logical
Visibility
Public
All
Type Members
case class
DeterministicAndCommand
[
V <:
OccSequent
]
(
commands: (
Iterable
[
DataCommand
[
V
]],
Iterable
[
DataCommand
[
V
]])
)
extends
DataCommand
[
V
] with
Product
with
Serializable
abstract
class
DeterministicMacroCommand
[
V <:
OccSequent
]
extends
Command
[
V
] with (
State
) ⇒ (
Iterable
[(
State
,
Option
[
ResolutionProof
[
V
]])],
Boolean
)
Ungrouped