public class RuleProfiler extends Object implements RObserverRule, SObserverRule
Constructor and Description |
---|
RuleProfiler(RObserverRule rule)
Constructs a new profiler for an R-rule.
|
RuleProfiler(SObserverRule rule)
Constructs a new profiler for an S-rule.
|
Modifier and Type | Method and Description |
---|---|
boolean |
apply(ClassifierStatus status,
int subClass,
int superClass)
Applies the completion rule considering the specified subsumption entry.
|
boolean |
apply(ClassifierStatus status,
int property,
int leftClass,
int rightClass)
Applies the completion rule considering the specified relation entry.
|
long |
getSuccessful()
Returns the number of successful applications of the completion rule.
|
long |
getTimes()
Returns the number of times that the completion rule was tried to be
applied.
|
long |
getTotalTime()
Returns the total time used to process all the entries.
|
String |
toString() |
public RuleProfiler(RObserverRule rule)
rule
- R-rule to collect datapublic RuleProfiler(SObserverRule rule)
rule
- S-rule to collect datapublic boolean apply(ClassifierStatus status, int subClass, int superClass)
SObserverRule
apply
in interface SObserverRule
status
- classifier statussubClass
- sub class to be appliedsuperClass
- super class to be appliedtrue
if and only if the rule was appliedpublic boolean apply(ClassifierStatus status, int property, int leftClass, int rightClass)
RObserverRule
apply
in interface RObserverRule
status
- classifier statusproperty
- object property to be appliedleftClass
- left class to be appliedrightClass
- right class to be appliedtrue
if and only if the rule was appliedpublic long getSuccessful()
public long getTimes()
public long getTotalTime()
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.