private class Statistics.TemporaryStatistics
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) int |
block |
(package private) int |
branches |
(package private) int |
contr |
(package private) int |
dep |
(package private) int |
interactive |
(package private) int |
inv |
(package private) int |
mergeApps |
(package private) int |
nodes |
(package private) int |
oss |
(package private) int |
ossCaptured |
(package private) int |
quant |
(package private) int |
smt |
(package private) int |
symbExApps |
Modifier | Constructor and Description |
---|---|
private |
TemporaryStatistics() |
Modifier and Type | Method and Description |
---|---|
private void |
changeOnNode(Node node,
java.util.HashMap<java.lang.String,java.lang.Integer> interactiveAppsDetails)
Increment numbers of rule applications according to given node
and (already collected) interactive rule applications
|
private int |
childBranches(Node node)
Add the node's children's branches (minus one) to current number of branches
|
private int |
interactiveRuleApps(Node node,
java.util.HashMap<java.lang.String,java.lang.Integer> intAppsDetails)
Compute number of interactive rule applications and collect their names.
|
private int |
tmpOssCaptured(RuleApp ruleApp)
Compute number of available one-step-simplification rules
|
private int |
tmpQuantificationRuleApps(RuleApp ruleApp)
Compute all rule applications regarding quantifiers
|
int nodes
int branches
int interactive
int symbExApps
int quant
int oss
int mergeApps
int ossCaptured
int smt
int dep
int contr
int block
int inv
private void changeOnNode(Node node, java.util.HashMap<java.lang.String,java.lang.Integer> interactiveAppsDetails)
node
- the given nodeinteractiveAppsDetails
- already collected interactive rule applicationsprivate int childBranches(Node node)
node
- the node of which we compute its children's branchesprivate int interactiveRuleApps(Node node, java.util.HashMap<java.lang.String,java.lang.Integer> intAppsDetails)
node
- the considered nodeintAppsDetails
- the already collected interactive rule applicationsprivate int tmpOssCaptured(RuleApp ruleApp)
ruleApp
- the rule application consideredprivate int tmpQuantificationRuleApps(RuleApp ruleApp)
ruleApp
- the considered rule application