Package

at.logic.gapt.proofs.resolution

ral

Permalink

package ral

Visibility
  1. Public
  2. All

Type Members

  1. trait Flip extends AnyRef

    Permalink
  2. trait RalResolutionProof[V <: LabelledOccSequent] extends ResolutionProof[V]

    Permalink

Value Members

  1. object AFactorF

    Permalink
  2. object AFactorFType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  3. object AFactorT

    Permalink
  4. object AFactorTType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  5. object AllFRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  6. object AllTRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  7. object AndF

    Permalink
  8. object AndFRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  9. object AndT1

    Permalink
  10. object AndT1RalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  11. object AndT2

    Permalink
  12. object AndT2RalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  13. object Cut

    Permalink
  14. object CutRalType extends BinaryRuleTypeA with Product with Serializable

    Permalink
  15. object ExFRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  16. object ExTRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  17. object ExistsF

    Permalink
  18. object ExistsT

    Permalink
  19. object ForallF

    Permalink
  20. object ForallT

    Permalink
  21. object ImpF1

    Permalink
  22. object ImpF1RalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  23. object ImpF2

    Permalink
  24. object ImpF2RalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  25. object ImpT

    Permalink
  26. object ImpTRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  27. object InitialRalType extends NullaryRuleTypeA with Product with Serializable

    Permalink
  28. object InitialSequent

    Permalink
  29. object NegF

    Permalink
  30. object NegFRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  31. object NegT

    Permalink
  32. object NegTRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  33. object OrF1

    Permalink
  34. object OrF1RalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  35. object OrF2

    Permalink
  36. object OrF2RalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  37. object OrT

    Permalink
  38. object OrTRalType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  39. object ParaF

    Permalink
  40. object ParaFRalType extends BinaryRuleTypeA with Product with Serializable

    Permalink
  41. object ParaT

    Permalink
  42. object ParaTRalType extends BinaryRuleTypeA with Product with Serializable

    Permalink
  43. object Sub

    Permalink
  44. object SubType extends UnaryRuleTypeA with Product with Serializable

    Permalink

Ungrouped