Modifier and Type | Method and Description |
---|---|
Profiler |
AbstractChase.getProfiler() |
Profiler |
AbstractDirectChase.getProfiler() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractChase.setProfiler(Profiler profiler) |
void |
AbstractDirectChase.setProfiler(Profiler profiler) |
Modifier and Type | Method and Description |
---|---|
Profiler |
AbstractRewritingOperator.getProfiler() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractRewritingOperator.setProfiler(Profiler profiler) |
Modifier and Type | Method and Description |
---|---|
Profiler |
AbstractRulesCompilation.getProfiler() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractRulesCompilation.setProfiler(Profiler profiler) |
Modifier and Type | Method and Description |
---|---|
Profiler |
RecursiveBacktrackHomomorphism.getProfiler()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
RecursiveBacktrackHomomorphism.setProfiler(Profiler profiler)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
Profiler |
HomomorphismIteratorChecker.getProfiler() |
Modifier and Type | Method and Description |
---|---|
void |
HomomorphismIteratorChecker.setProfiler(Profiler profiler) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractProfiler
This class is a profiler with a timer feature (ms)
|
class |
CPUTimeProfiler
This class is a profiler with a timer feature (ms)
|
class |
NoProfiler |
class |
RealTimeProfiler
This class is a profiler with a timer feature (ms)
|
Modifier and Type | Method and Description |
---|---|
Profiler |
AbstractProfilable.getProfiler() |
Profiler |
Profilable.getProfiler() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractProfilable.setProfiler(Profiler profiler) |
void |
Profilable.setProfiler(Profiler profiler) |
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.