at
.
logic
.
gapt
.
provers
escargot
package
escargot
Content Hierarchy
TermOrdering
LPO
KBO
NonSplittingEscargot
Escargot
Escargot
Visibility
Public
All
Type Members
class
Escargot
extends
ResolutionProver
case class
KBO
(
precedence:
Seq
[
Const
]
,
constWeights:
Map
[
Const
,
Int
] =
Map()
)
extends
TermOrdering
with
Product
with
Serializable
case class
LPO
(
precedence:
Seq
[
Const
] =
Seq()
,
typeOrder:
Set
[(
Ty
,
Ty
)] =
Set()
)
extends
TermOrdering
with
Product
with
Serializable
trait
TermOrdering
extends
AnyRef
Value Members
object
Escargot
extends
Escargot
object
NonSplittingEscargot
extends
Escargot
package
impl
Ungrouped