at
.
logic
.
gapt
.
proofs
ceres_schema
package
ceres_schema
Content Hierarchy
pAxiomTerm
pPlus
ProjectionTerm
pUnary
pTimes
pProofLinkTerm
Visibility
Public
All
Type Members
trait
ProjectionTerm
extends
AnyRef
class
pAxiomTerm
extends
ProjectionTerm
class
pPlus
extends
ProjectionTerm
class
pProofLinkTerm
extends
ProjectionTerm
class
pTimes
extends
ProjectionTerm
class
pUnary
extends
ProjectionTerm
Value Members
package
ACNF
object
CharacteristicSequentSet
object
GroundingProjectionTerm
object
PStructToExpressionTree
object
ProjectionTermCreators
object
ProjectionTermDB
extends
Iterable
[(
String
,
ProjectionTerm
)] with
TraversableOnce
[(
String
,
ProjectionTerm
)]
object
ProjectionTermToSetOfProofs
object
RelevantCC
object
RemoveArrowRules
object
UnfoldProjectionTerm
package
clauseSchema
package
clauseSets
object
pAxiomTerm
object
pPlus
object
pProofLinkTerm
object
pTimes
object
pUnary
package
projections
package
struct
Ungrouped