at
.
logic
.
gapt
.
provers
.
atp
.
commands
guided
package
guided
Visibility
Public
All
Type Members
case class
AddGuidedClausesCommand
(
ids:
Iterable
[
String
]
)
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
case class
AddGuidedInitialClauseCommand
(
id:
String
,
cls:
Seq
[
FOLFormula
]
)
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
case class
AddGuidedResolventCommand
(
id:
String
)
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
case class
GetGuidedClausesCommand
(
parentIds:
Iterable
[
String
]
)
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
case class
GetGuidedClausesLiterals
(
ls:
Iterable
[(
String
,
Int
)]
)
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
case class
GetGuidedClausesLiteralsPositions
(
ls:
Iterable
[(
String
,
Int
,
Iterable
[
Int
])]
)
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
Value Members
object
IsGuidedNotFoundCommand
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
object
SetGuidedFoundCommand
extends
DataCommand
[
OccClause
] with
Product
with
Serializable
Ungrouped