at
.
logic
.
gapt
.
provers
.
atp
.
commands
robinson
package
robinson
Visibility
Public
All
Type Members
case class
ClauseFactorCommand
(
alg:
UnificationAlgorithm
)
extends
DataCommand
[
OccClause
] with
Logger
with
Product
with
Serializable
case class
FactorCommand
(
alg:
UnificationAlgorithm
)
extends
DataCommand
[
OccClause
] with
Logger
with
Product
with
Serializable
case class
ParamodulationCommand
(
alg:
UnificationAlgorithm
)
extends
DataCommand
[
OccClause
] with
Logger
with
Product
with
Serializable
case class
ResolveCommand
(
alg:
UnificationAlgorithm
)
extends
DataCommand
[
OccClause
] with
Logger
with
Product
with
Serializable
case class
SetClausesCommand
(
clauses:
Iterable
[
HOLSequent
]
)
extends
SetSequentsCommand
[
OccClause
] with
Product
with
Serializable
Value Members
object
SetClausesFromDataCommand
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
object
VariantLiteralCommand
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
object
VariantLiteralPositionCommand
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
object
VariantsCommand
extends
DataCommand
[
OccClause
] with
Logger
with
Product
with
Serializable
Ungrouped