at
.
logic
.
gapt
.
proofs
.
resolution
ral
package
ral
Visibility
Public
All
Type Members
trait
Flip
extends
AnyRef
trait
RalResolutionProof
[
V <:
LabelledOccSequent
]
extends
ResolutionProof
[
V
]
Value Members
object
AFactorF
object
AFactorFType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AFactorT
object
AFactorTType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AllFRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AllTRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndF
object
AndFRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndT1
object
AndT1RalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
AndT2
object
AndT2RalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
Cut
object
CutRalType
extends
BinaryRuleTypeA
with
Product
with
Serializable
object
ExFRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ExTRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ExistsF
object
ExistsT
object
ForallF
object
ForallT
object
ImpF1
object
ImpF1RalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ImpF2
object
ImpF2RalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ImpT
object
ImpTRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
InitialRalType
extends
NullaryRuleTypeA
with
Product
with
Serializable
object
InitialSequent
object
NegF
object
NegFRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
NegT
object
NegTRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrF1
object
OrF1RalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrF2
object
OrF2RalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
OrT
object
OrTRalType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
ParaF
object
ParaFRalType
extends
BinaryRuleTypeA
with
Product
with
Serializable
object
ParaT
object
ParaTRalType
extends
BinaryRuleTypeA
with
Product
with
Serializable
object
Sub
object
SubType
extends
UnaryRuleTypeA
with
Product
with
Serializable
Ungrouped