at
.
logic
.
gapt
.
proofs
.
ceres
clauseSchema
package
clauseSchema
Content Hierarchy
Learn more about scaladoc diagrams
ResolutionProofSchema
rTerm
sclTermVar
sclTimes
sclPlus
clauseSetTerm
sClauseComposition
nonVarSclause
sClauseVar
clauseSchema
sClause
sClauseTerm
sResolutionTerm
Visibility
Public
All
Type Members
class
ResolutionProofSchema
extends
sResolutionTerm
class
clauseSchema
extends
sClause
class
clauseSetTerm
extends
sClauseTerm
class
dbTRSclauseSchema
extends
AnyRef
class
dbTRSclauseSetTerm
extends
AnyRef
class
dbTRSsTermN
extends
AnyRef
class
nonVarSclause
extends
sClause
class
rTerm
extends
sResolutionTerm
abstract
class
sClause
extends
sClauseTerm
class
sClauseComposition
extends
sClause
abstract
class
sClauseTerm
extends
sResolutionTerm
class
sClauseVar
extends
sClause
class
sClauseVarSubstitution
extends
AnyRef
abstract
class
sResolutionTerm
extends
AnyRef
class
sclPlus
extends
sClauseTerm
class
sclTermVar
extends
sClauseTerm
class
sclTermVarSubstitution
extends
AnyRef
class
sclTimes
extends
sClauseTerm
Value Members
object
GroundingProjections
object
InstantiateResSchema
object
IntVarSubstitution
object
ParseResSchema
object
ParseResSchemaDavid
object
ResDeductionToLKTree
object
ResolutionProofSchema
object
applySubToSclauseOrSclauseTerm
object
clauseSchema
object
clauseSetTerm
object
dbTRSclauseSchema
object
dbTRSclauseSetTerm
object
dbTRSsTermN
object
deComposeSClause
object
fo2SubstDB
extends
Iterable
[(
fo2Var
,
SchemaExpression
)]
object
fo2VarSubstitution
object
nonVarSclause
object
rTerm
object
replace
object
resolutionDeduction
object
resolutionProofSchemaDB
extends
Iterable
[(
String
, ((
sResolutionTerm
,
sResolutionTerm
), (
sResolutionTerm
,
sResolutionTerm
)))] with
TraversableOnce
[(
String
, ((
sResolutionTerm
,
sResolutionTerm
), (
sResolutionTerm
,
sResolutionTerm
)))]
object
sClauseComposition
object
sClauseVar
object
sClauseVarSubstitution
object
sTermN
object
sclPlus
object
sclTermVar
object
sclTimes
object
unfoldGroundAtom
object
unfoldResolutionProofSchema
object
unfoldSTermN
object
unfoldSchemaClause
object
unfoldSclauseTerm
object
unfoldingAtomsInResTerm
Ungrouped