TPDB.CPF.Proof.Type

data CertificationProblem

data Origin

ignoredOrigin

data Tool

data CertificationProblemInput

data Proof

data DPS

data ComplexityProof

data ComplexityMeasure

data ComplexityClass

data TrsNonterminationProof

data TrsTerminationProof

data Bounds_Type

data ClosedTreeAutomaton

data Criterion

data TreeAutomaton

data State

data Transition

data Transition_Lhs

data Model

data DpProof

data DepGraphComponent

data OrderingConstraintProof

data RedPair

data Interpretation

data Interpretation_Type

data Domain

data Interpret

data Value

data Polynomial

data ArithFunction

data Symbol

data Label

data Coefficient

data Exotic

class ToExotic a

data PathOrder

data PrecedenceEntry

data ArgumentFilterEntry

data Identifier

type TES