at
.
logic
.
gapt
.
proofs
shlk
package
shlk
Visibility
Public
All
Type Members
class
SchemaProof
extends
AnyRef
trait
SchemaProofLink
extends
AnyRef
Value Members
object
AndEquivalenceRule
object
AndEquivalenceRule1
object
AndEquivalenceRule1Type
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndEquivalenceRule2
object
AndEquivalenceRule2Type
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndEquivalenceRule3
object
AndEquivalenceRule3Type
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndLeftEquivalenceRule1
object
AndLeftEquivalenceRule2
object
AndLeftEquivalenceRule3
object
AndRightEquivalenceRule1
object
AndRightEquivalenceRule2
object
AndRightEquivalenceRule3
object
AtomMatch
object
CloneLKProof2
object
EXFOSchemaProofLinkRule
object
ExistsHyperLeftRule
object
ExistsHyperLeftRuleType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ExistsHyperRightRule
object
ExistsHyperRightRuleType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
FOSchemaProofLinkRule
object
ForallHyperLeftRule
object
ForallHyperLeftRuleType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ForallHyperRightRule
object
ForallHyperRightRuleType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrEquivalenceRule1
object
OrEquivalenceRule1Type
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrEquivalenceRule2
object
OrEquivalenceRule2Type
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrEquivalenceRule3
object
OrEquivalenceRule3Type
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrLeftEquivalenceRule1
object
OrLeftEquivalenceRule2
object
OrLeftEquivalenceRule3
object
OrRightEquivalenceRule1
object
OrRightEquivalenceRule2
object
OrRightEquivalenceRule3
object
RemoveEqRulesFromGroundSchemaProof
object
SchemaProofDB
extends
Iterable
[(
String
,
SchemaProof
)] with
TraversableOnce
[(
String
,
SchemaProof
)]
object
SchemaProofLinkRule
object
SchemaProofLinkRuleType
extends
NullaryRuleTypeA
with
Product
with
Serializable
object
StepMinusOne
object
TermEquivalenceRule1
object
TermEquivalenceRule1Type
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
TermLeftEquivalenceRule1
object
TermRightEquivalenceRule1
object
UnarySchemaProof
object
applySchemaSubstitution
object
applySchemaSubstitution2
object
checkProofLinks
object
checkProofLinks1
object
cloneMySol
object
cloneMyTerm
object
defineremove
object
equalforms
object
equalterms
object
foldLeftRule
object
foldRightRule
object
foldRule
object
foldRuleType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
genterm
object
getName
object
isIndexSort
object
iterateOnFormula
object
printSchemaProof
object
rewriterulereplace
object
sContractionLeftRule
object
sContractionRightRule
object
sCutRule
object
trsArrowLeftRule
object
trsArrowRightRule
object
trsArrowRule
object
trsArrowRuleType
extends
UnaryRuleTypeA
with
Product
with
Serializable
Ungrouped