Twee
data Twee f
initialState
addGoals
report
enqueueM
reenqueueM
dequeueM
newLabelM
data Modelled a
rulesFor
easyRules
rules
allRules
normaliseQuickly
normalise
normaliseIn
normaliseSub
normaliseSkolem
reduceCP
data JoinStage
data JoinReason
normaliseCPQuickly
normaliseCPReducing
normaliseCP
complete
complete1
renormaliseGoals
normaliseCPs
consider
groundJoinableEq
groundJoinable
groundJoin
valid
optimise
addRule
addExtraRule
extraRuleSafe
deleteRule
data Simplification f
interreduce
reduceWith
simplifyRule
newEquation
noCritInfo
data CancellationRule f
toCancellationRule
addCancellationRule
deleteCancellationRule
data Critical a
data CritInfo f
data CPInfo
data CP f
data CPs f
data Passive f
passiveCount
data InitialCP f
criticalPairs
ruleOverlaps
overlaps
emitReplacement
criticalPairs1
queueCP
queueCPs
queueCPsSplit
toCPs
toCP
cancelledWeight
bestCancellation
weight
weight'
cancellations
data Event f
trace
traceM
traceIf