Package

at.logic.gapt.proofs

ceres

Permalink

package ceres

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. class CERES extends AnyRef

    Permalink
  2. class CERESR2LK extends AnyRef

    Permalink
  3. trait ProjectionTerm extends AnyRef

    Permalink
  4. class ceres_omega extends AnyRef

    Permalink
  5. class pAxiomTerm extends ProjectionTerm

    Permalink
  6. class pPlus extends ProjectionTerm

    Permalink
  7. class pProofLinkTerm extends ProjectionTerm

    Permalink
  8. class pTimes extends ProjectionTerm

    Permalink
  9. class pUnary extends ProjectionTerm

    Permalink

Value Members

  1. package ACNF

    Permalink
  2. object CERES extends CERES

    Permalink
  3. object CERESR2LK extends CERESR2LK

    Permalink

    Two implementations of first-order CERES, one (CERES) grounding the proof before the transformation, the other (CERESR2LK) performing the task inline in the Robinson2LK method.

  4. object GroundingProjectionTerm

    Permalink
  5. object PStructToExpressionTree

    Permalink
  6. object ProjectionTermCreators

    Permalink
  7. object ProjectionTermDB extends Iterable[(String, ProjectionTerm)] with TraversableOnce[(String, ProjectionTerm)]

    Permalink
  8. object ProjectionTermToSetOfProofs

    Permalink
  9. object RelevantCC

    Permalink
  10. object RemoveArrowRules

    Permalink
  11. object UnfoldProjectionTerm

    Permalink
  12. object ceres_omega extends ceres_omega

    Permalink

    Created by marty on 10/6/14.

  13. package clauseSchema

    Permalink
  14. package clauseSets

    Permalink
  15. object pAxiomTerm

    Permalink
  16. object pPlus

    Permalink
  17. object pProofLinkTerm

    Permalink
  18. object pTimes

    Permalink
  19. object pUnary

    Permalink
  20. package projections

    Permalink
  21. package struct

    Permalink

Ungrouped