at
.
logic
.
gapt
.
proofs
.
resolution
robinson
package
robinson
Content Hierarchy
Learn more about scaladoc diagrams
RobinsonResolutionProof
RobinsonProofWithInstance
Visibility
Public
All
Type Members
trait
RobinsonProofWithInstance
extends
RobinsonResolutionProof
trait
RobinsonResolutionProof
extends
ResolutionProof
[
OccClause
]
Value Members
object
Factor
object
FactorType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
Formatter
object
InitialClause
object
Instance
object
InstanceType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
Paramodulation
extends
Logger
object
ParamodulationType
extends
BinaryRuleTypeA
with
Product
with
Serializable
object
Resolution
object
ResolutionType
extends
BinaryRuleTypeA
with
Product
with
Serializable
object
Variant
object
VariantType
extends
UnaryRuleTypeA
with
Product
with
Serializable
object
createContext
Ungrouped