Package

at.logic.gapt.proofs.resolution

andrews

Permalink

package andrews

Visibility
  1. Public
  2. All

Value Members

  1. object AllFType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  2. object AllTType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  3. object AndF

    Permalink
  4. object AndFType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  5. object AndTL

    Permalink
  6. object AndTLType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  7. object AndTR

    Permalink
  8. object AndTRType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  9. object Cut

    Permalink
  10. object CutType extends BinaryRuleTypeA with Product with Serializable

    Permalink
  11. object ExFType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  12. object ExTType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  13. object ExistsF

    Permalink
  14. object ExistsT

    Permalink
  15. object ForallF

    Permalink
  16. object ForallT

    Permalink
  17. object ImplFL

    Permalink
  18. object ImplFLType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  19. object ImplFR

    Permalink
  20. object ImplFRType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  21. object ImplT

    Permalink
  22. object ImplTType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  23. object NotF

    Permalink
  24. object NotFType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  25. object NotT

    Permalink
  26. object NotTType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  27. object OrFL

    Permalink
  28. object OrFLType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  29. object OrFR

    Permalink
  30. object OrFRType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  31. object OrT

    Permalink
  32. object OrTType extends UnaryRuleTypeA with Product with Serializable

    Permalink
  33. object Sub

    Permalink
  34. object SubType extends UnaryRuleTypeA with Product with Serializable

    Permalink

Ungrouped